Question 973430
<pre>
1. ~(~E•~N)>T
2. G>(N+E)    /G>T

3. ~~E+~~N>T      1, DeMorgan's law
4. E+N>T          3, Double Negation
5. N+E>T          4, Commutation
6. G>T          2,5, Hypothetical Syllogism

Edwin</pre>