Write a logical proof to prove

that the following argument is

valid. Include each step.

$(not{t}^{{?}^{{?}^{?}}}s)$notr

$(notqvvp)s$

$t$

$qt$

$$rvvu