Question 980645
<pre>
 1.  ~D&Q
 2.  ~D>(~E&~T)
 3.  (~EvG)>(~E>H)
                      /~E&H

 4. ~D             1, simplification
 5. ~E&~T        2,4, modus ponens
 6. ~E             5, simplification
 7. ~EvG           6, addition
 8. ~E>H         3,7, modus ponens
 9. H            8,6, modus ponens
10. ~E&H         6,9, conjunction

Edwin</pre>