Question 189538
<pre>
1. (E v F) -> ~G
2. ~H
3. H v K
4. (K v L) -> E / ~G
------------------------
5.  K                  3,2  Disjunctive Syllogism
6.  K v L                5  Addition
7.  E                  4,6  Modus Ponens
8.  E v F                7  Addition
9.  ~G                 1,8  Modus Ponens
</pre>