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