Question 690033
<pre>
1. G > H
2. A > (G * E)
3. A                  / A* (H v B)
--------------------------------------
4. G * E                        2,3      Modus Ponens
5. G                            4        Simplification
6. H                            1,5      Modus Ponens
7. H v B                        6        Addition
8. A * (H v B)                  3,7      Conjunction
</pre>