Question 1075517
Two step proof:
<pre>
1. (H * I) > J
2. H
3. I		/ J
4. H * I              2,3 conjunction
5. J                  1,4 modus ponens

Edwin</pre>