-1. (p^q)->r |- ¬s -> r
-2.¬(p v r)->s
-3.p->q
4. ¬s (suposición)
5. ¬¬(p v r) v s Def -> 2
6. (p v r) v s E ¬¬ 5
7. p v r S.D. 6,4
8. ¬r (suposición)
9. p S.D. 8,7
10. q M.P. 9,3
11. p ^q I ^ 10,9
12. r M.P. 11,1
13. r ^ ¬r I ^ 8,12
14. r R.A. 8-13
15. ¬s -> r I -> 4-14
*(puxen a primeira suposición en azul e a segunda en azul e negriña).