Free PlayDifficulty 10/5
Proof Board
Starting Premise(s)
p
Inventory
Constructed Formulas
Auto-evaluated against the target
pStart
LockedTarget Conclusion
q
Build valid premises to reach the target conclusion.
Starting Premise(s)
Inventory
Constructed Formulas
Auto-evaluated against the target
Target Conclusion
Build valid premises to reach the target conclusion.