Witness Finder

A small graph you can edit by hand, with first-order sentences you can test against it. When a sentence is true, it shows witnesses; when it is false, it shows a counterexample.