1) ~H -> (~T -> R)
2) H v (E -> F)
3) ~T v E
4) ~ H * D
/ R v F
-------------------------------------------------------
5) ~H 4 Simplification
6) ~T -> R 1,5 Modus Ponens
7) E -> F 2,5 Disjunctive Syllogism
8) (~T -> R) * (E -> F) 6,7 Conjunction
9) R v F 8,3 Constructive Dilemma
------------------------------------------------------------------------
Let me know if that helps or not. Thanks.
If you need more help, feel free to email me at jim_thompson5910@hotmail.com
My Website: http://www.freewebs.com/jimthompson5910/home.html