The idea is really neat and interesting. You act like a logic program running in your mind or PC. That also remind me of Paper Please. :)