Finite Model Playground

Build a tiny structure with a predicate and a relation, then evaluate first-order formulas against it. It shows a witness when something is true, and a counterexample when it is false.