2.  ~T, T v P, R -> Q & ~P |- ~R

3.  S v Q, R v ~P, R -> ~S |- P -> Q & R

4.  R -> S, ~T v R, Q -> ~S, ~P -> T & Q |- P

5.  P -> S & T, S -> Q, T -> R |- P -> R & Q

6.   R v T, ~R, T -> Q & S |- Q -> S

7.   P -> R, Q -> ~R |- P -> ~Q

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

9.   R & ~Q, P -> T v ~R |- P v Q -> T

10.  P & T, T -> ~R |- ~(R <-> P)

11.    T -> Q & R, R v S, S -> T |- R

12.    Q -> T, S -> ~T |- S -> ~Q

13.  P -> R, S v ~R, Q -> ~S |- ~(P & Q)

14. P & Q, R & Q -> S, ~P v R, T -> (S -> W) |- T -> W

15. Q v R, S -> ~R, P -> S <-> T |- T -> (P -> Q)