Question 1075506
<pre>
1.	(H v I) > J
2.	H		/ J
3.      H v I      2,   add
4.      J          1,3, MP

Edwin</pre>