Given: p -> (q -> r) (p + -s) q

Prove: s -> r

Fill in the blanks for the following proof: For this problem, please use a dash "-" and a greater than sign ">" for implication "->"

Statement Reason 1. p-> (9 ->r) 2. q-> 52 3.9 Given Given Given Negation of Conclusion 4. 5.-(-5 +r) 6.--5* - 5, 6, Double Negation 8. S 19. r=s 10. 9, Simplification 11. -p + (9->r) 12. 13.(-p +-) +r 11, Implication 12, 14. 15:-p 16. 17. s* -s 10,13, Disjunctive Syllogism 3,14, 2,15, Disjunctive Syllogism 8,16, 17, Rule 26 18