Question 1009886
<pre>
1. M -> (R ^ E)
2. (E v H) -> G  /M -> G

3. M -> (E ^ R)    1. Commutation
4. M -> E          3. Simplification
5. M -> E v H      4. Addition
6. M -> G          5,2, Hypothetrical syllogism

Edwin</pre>