Question 617772
<pre>
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
</pre>