Prove the following symbolic argument is valid. Be sure to
justify each step
s → t
¬p ∧ q
¬r → s
r → p
∴ t