1    R -> P v Q, S & R, S -> ~Q |- P   2    P & Q, P -> S, S -> T |- T & Q   3    (P -> R) & (Q -> S v T), ~T & P, Q v ~R |- S

  4    P v R, ~P & S, R -> ~S v ~T |- ~T   5    Q v R -> T v S, ~S & P, P -> Q |- T   6    R & S <-> Q & T, T & Q |- S & R

7     ~T <-> S, P -> ~T, R v P, ~R |- S


8     P & (Q -> S), R -> (S -> Q), ~P v R |- S <-> Q

9     Q & (T & S), Q & S -> P v R, T <-> ~R |- P

10     P -> Q, P <-> R, R & T |- T & Q