Axiom Brush

Build a small finite structure by placing points. Toggle axioms to close the relation and watch which sentences become true.