Local Theory Kit

Build a small directed relation and test a few first-order sentences. When one fails, you get a concrete counterexample highlighted in the picture and the matrix.