Finite Model Kit

Build a tiny structure with P, Q, and R. Check if a sentence is true, and see a witness or a counterexample.