1. (A>Y)&(F>H) 2. (A>K)&(C>A) 3. (K>A)&(W>C) 4. KvW 5. ~A /YvH 6. K>A 3,simp 7. ~A>~K 6,trans 8. ~K 7,5,mp 9. W 4,8,ds 10, W>C 3,simp 11, C 10,9,mp 12, C>A 2,simp 13. A 12,11,mp 14. A>Y 1,simp 15. Y 14,13,mp Edwin