Question 1030073
<pre>
 1. G &#8835; (H &#8835; K)
 2. (H v ~M) &#8835; ~K
 3. H             /~G

 4. H v ~M            3, addition
 5. ~K                2,4, modus ponens
 6. ~(H &#8835; K) &#8835; ~G    1, transposition
 7. ~(~H v K) &#8835; ~G   6, Material implication
 8. (~~H • ~K) &#8835; ~G  7, DeMorgan's law
 9. (H • ~K) &#8835; ~G    8, Double negation
10. H • ~K           3,5 Conjunction
11. ~G               9,10, Modus ponens  

[Note some teachers and books use & instead of •, 
while others use &#8743; ]
 
Edwin</pre>