Question 1039719
1)   (p^q)^(~qvr)^(~rvs) -----------Hypothesis
2)    p^q   ------------------------Simplification
3)   ~qvr   ------------------------Simplification
4)    ~rvs  ------------------------Simplification
5)    q    -------------------------Simplification on #2
6)    r    -------------------------Disjunctive syllogism on #3 and #5
7)    s    -------------------------Disjunctive syllogism on #4 and #6