1. M --> R&E Premise
2. (EvH) --> G Premise
// show M --> G
3. ::M Conditional Proof (CP) assumption #1
4. ::R&E 3,1 Modus Ponens (MP)
5. ::E 4, Simplification (SIMP)
6. ::EvH 5, Addition (ADD) (if E is true, certainly E or H is true)
7. ::G 5,2 MP
8. ::M-->G 3-7, CP
9. M-->G 3-8, CP (discharge CP assumptions)
