Use rules of inference to show that if ∀x(p (x) ∨ q(x)), ∀x(¬q(x) ∨ s(x)), ∀x(r(x) → ¬s(x)), and ∃x¬p (x) are true, then ∃x¬r(x) is true.