1. ~M 2. (~M ∙ ~N) > (Q > P) 3. ~N 4. P > R :. Q > R ------------------------------------------------------- 5. ~M ∙ ~N 1,3 Conjunction 6. Q > P 2,5 Modus Ponens 7. Q > R 6,4 Hypothetical Syllogism