Axiom Tuner

A small world with two relations. Turn knobs and watch which sentences become true or false, then lock a few truths and see the generator struggle to keep them.