Axiom Mill

Toggle axioms and watch a relation keep flipping edges to reduce violations. Drag the elements around and see what kinds of rules can live together.