Question 928682
<pre>
1. n > (j > p)
2. (j > p) > (n > p)
3. n
         // p

4. j > p      1,3,MP  (modus ponens)
5. n > p      2,4,MP  (modus ponens)
6. p          5,3,MP  (modus ponens)

Edwin</pre>