Question 1198250
<pre>

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)