How do I prove these directly, and indirectly

given:p^~(q ^ r)
p-> q
(~w v s)-> ~r
prove: q ^ ~s