Deductum

By Nonpop

Build logical proofs from simple rules

puzzle