Question 1141255
<pre> 1.  F → A
 2.  ∼J • ∼K
 3.  H → (G → F)
 4.  ∼K → (∼J → H)          ∴ G → A

                         | 5.  G               Assumption for Conditional Proof
                         | 6. (~K • ~J) → H    4, Importation
                         | 7. (~J • ~K) → H    6, Commutation
                         | 8. H                7,2, Modus ponens
                         | 9. G → F            3,8, Modus ponens
                         |10. A                9,1, Hypothetical syllogism

11.  G → A             lines 5-10    Conditional proof

Edwin</pre>