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