F\ T \\
 (P V Q)->R\ T \\
 -Q -> (P\wedge R)\ T\\
 P V Q \perp \qquad \ R \ T \\ 
P \perp \qquad \ -Q \perp \qquad \ P\wedge R T \\
Q\perp \\
-Q \perp \qquad P\wedge R \ T \\
Q T