->(&(P,S),\/(R,T)).
\/(S,P).
~(&(R,T)).
\/(&(P,S),&(R,T)).
->(\/(R,T),Q).
