INSTRUCTIONS
*** PREMISES *** P PQ|PQ&~& Q~R= RS> *** ANSWERS *** HOLDS: S DOES NOT HOLD: SQ> COUNTEREXAMPLE: (P,R,S)