Question: Can someone help me with my proof?

Let p, q, r and s be propositions. Consider the hypothesis $(p\space\lor\space q \to r)$, $\lnot s$, $r \to s$ and conclude $\lnot p$.

**My Proof**

$
r \to s\\
\lnot r \to s\\
\lnot r\space\lor\space p\space\lor\space q\\ 
$ 

This is all I have so far

Answer: 
**Hint 1:** $(r \to s) \leftrightarrow (\lnot s \to \lnot r)$

**Hint 2:** $\lnot(p\space\lor\space q) \leftrightarrow (\lnot p\space\land\space \lnot q) $
$$(((p\lor q) \to r)\land\lnot s\land (r \to s))\to\lnot p$$
$$\equiv(((p\lor q) \to r)\land\lnot s\land (\lnot s \to \lnot r))\to\lnot p$$
$$\equiv(((p\lor q) \to r)\land\lnot r)\to\lnot p$$
$$\equiv(\lnot r\land(\lnot r\to\lnot(p\lor q)))\to\lnot p$$
$$\equiv\lnot(p\lor q)\to\lnot p$$
$$\equiv p\to (p\lor q)$$
$$\equiv \lnot p\lor p\lor q$$
$$\equiv \top$$