1. F → ((C → C) → G) PR \ ~F

2. G → ((H → (E → H)) → (K & ~K)) PR

3. F PA-RAA

4. (C → C) → G MP 1, 3

5. C PA-CP

6. C Repeat 5

7. C → C CP 5-6

8. G MP 4, 7

9. (H → (E → H)) → (K & ~K) MP 2, 8

10. H PA-CP

11. E PA-CP

12. H Repeat 10

13. E → H CP 11-12

14. H → (E → H) CP 10-13

15. K & ~K MP 9, 14

16. ~F RAA 3-15