Q$1.$ Consider the following formulas:

$1=p((qvvr{)}^{{?}^{?}}$not$(q^{{?}^{?}}r))$

$2=p((svvt{)}^{{?}^{?}}$not$(t^{{?}^{?}}s))$

$$3=sq$

$4=$notr$t$

$5=ts$

Using resolution, prove that $-p$ is the logical consequence of $\{1,2,3,4,5\}.$

$[10$M$]$