1. ( ~C v ~R ) & ( R L ), C ( C v L ), J R / ~J

2. ( P v Q ) ( R S ), (~S v T ) ( P & R ) / S

3. A C, A v C / A & C

4. ( A & R ) v ( N & A ), ( A ~M ) & ( N M ) / E R

5. / ( P Q ) v ( ~Q P )

6. ( A B ) & ( A C ) / A ( B v C )

7. C B, ( ~C A ) v E, D & ~E, B ( A & ~B ) / ( A & ~B ) v A

8. / P [ ( Q & ~Q ) R ]

9. ~H, ( ~J v H ) H, I v ( J H ) / I ~H

10. H ~( I ~K), ~( H v I ) / K

11. / [ ~A ( ~B C ) ] [ ( A v B ) v ( ~~B v C ) ]

12. ~( X Y ) / ~X Y

13. ( H & T ) J, ( M  D ) & ( ~D M ), ~T ( ~D & M ) / H J

14. ~( A B), ~( B C ) / ~D

15. A [ ( ~N v N ) ( S v T ) ], T ~( F v ~F ) / A S

16. ( N & O ) v [ ( ~P v O ) & N ], ~( ~O ~P ) v ~N / O

17. M & L, [ L & ( M & ~S ) ] K, ~K v ~S, ~( K ~S ) / ~L & ~M

18. / ~( K L ) v {( M L ) [ L v ( ~K & ~M )]}

19. ( A v ~B ) v ~C, ( D v G ) v C / ~A [ B ( G v D ) ]

20. ( O R ) S, ( P R ) ~S / ~R

21. ( T & Q ) R, ( Q R ) ( ~T v S ) / ~T v S

22. ~( A v G ) v P, ( P & ~I ) ( O & D ) / ~( I v D ) ~A

23. A v ~( ~K v C ), ( K C ) v ~A / ~A ~( K C )

24. B ( E F ), A ( C D ), A v B, ~D & ~F / ~C v ~E

25. ( U ~W ) ~X, Y v ( W & Z ), ( Y v Z ) X / W U