Question 1010735
<pre>
 1. H v (~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 disjunctive syllogism
 7. E > F      2,5 disjunctive syllogism
 8. R v F      6,7,3 constructive dilemma

Edwin</pre>