1. ~(x)Ox 2. (x)Ax 3. (x)(Hx v ~Mx) 4. (x)Hx > (x)(Ax > Ox)…
1. ~(x)Ox 2. (x)Ax 3. (x)(Hx v ~Mx) 4. (x)Hx > (x)(Ax > Ox) 5. v ~Ka / ~(x)Kx 6. ____ 1 QN 7. ____ ___ 8. ____ ___ 9. ____ 7,8 conj 10. ____ 9 DM 11. ____ 10 impl 12. ____ 11 ___ 13. ____ 12 ___ 14. ____ 4,13 MT 15. ____ 14 QN 16. ____ ____ 17. ____ ____ 18. ____ 16,17 DS 19. ____ 18 EG 20. ____ 19 QN 21. ____ 20 add 22.____ 21 DM 23. ~Ka 5, 22 DS 24. ___ ____ 25. ~(x)Kx ____ Line 12 should be this, with this justification: