Axiom Garden

A small world of statements and rules. Add axioms, flip nodes, and watch the system try to settle.