1. M ⊃ H 2. (K ∨ F) ⊃ M 3. K /H 4. K ∨ F 3, addition 5. M 2,4, modus ponens 6. H 1,5, modus ponens Edwin