Prove You Can Win

This is a puzzle game based on logic and deduction. In this game, you can learn and understand a brand new deduction system, and then take the axioms and rules of deduction as tools, to prove the propositions by entering the code.

Features:

• Understand the axioms and rules of deduction (just like when you are reading a mathematical book)

• Enter the code and prove the proposition (just like when you are solving a math problem)

• "Q.E.D.", "Eureka!", and get into the next loop

Elements which might be frustrating:

• No g...