Question 1060024
<pre>

1. G · K 
2. K &#8835; E 
3. E &#8835; (G &#8835; H)   /H

4. K · G         1, Commutation
5. K             4, Simplification
6. E             2, Modus ponens
7. G &#8835; H         3, Modus ponens
8. G             1, Simplification
9. H            7,8, Modus ponens  

Edwin</pre>