1. M ⊃ H 2. (K ∨ F) ⊃ M 3. K /H 4. K ∨ F 3, Addition 5. H 2,4,1, Hypothetical syllogism Note: It could be written this way K ⊃ (K ∨ F) ⊃ M ⊃ H Edwin