Tiny Worlds

Make a tiny structure with P, Q, and R. Type a first-order formula and see whether it is true, plus a witness or counterexample when available.