1. (J→K). (~O→~P) Premise

2. (L→J). (~M→~O) Premise

3. ~K→(Lv~M) Premise

4. ~K.G Premise

………

~P

Proof

5. ~O→~P 1, Simplification

6 ~M→~O 2, Simplification

7. ~K 4, Simplification

8. L v ~M 3,7 Modus Ponen

9. ~L→~M 8 Equivalence

10 ~K v ~P 7 Addition

11 K→ ~P 10 Equivalence

12. ~K v P 7 Addition

13. K→ P 12 Equivalence

14 (K→~P). (K→P) 11,13 Conjunction

15 ~P 14 Absurdity

*****