This is a cute idea. I don't think I've seen games using this type of puzzle so clearly before. Reminds me of learning prolog.
Thanks !
