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 dedu