Structures in a Jar

Build a tiny directed graph with two unary labels. A set of first-order sentences updates live, with witnesses or counterexamples when possible.