1. (W . (R v T ) ) > P 2. ( P v L ) > ~ H 3. W 4. R :. ~ H ------------------------------------------------------- 5. R v T 4 Addition 6. W . (R v T ) 3,5 Conjunction 7. P 1,6 Modus Ponens 8. P v L 7 Addition 9. ~H 2,9 Modus Ponens