Question 1032774
<pre>
(1). (I&E) > ~ F
(2). F v (G&H)
(3). I = E      / (conclusion) I > G 

(4).         | I             Assumption for Conditional Proof
(5).         | (I>E)&(E>I)   (3),Material Equivalence
(6).         | I>E           (5),Simplification
(7).         | E             (6),(4),Modus Ponens
(8).         | I&E           (4),(7),Conjunction
(9).         | ~F            (1),(8),Modus Ponens
(10).        | G&H           (2),(9),Disjunctive Syllogism
(11).        | G             (10),Simplification
             ---------------------------------------
(12). I > G   Conditional Proof (4)-(11)

Edwin</pre>