Use rules of inference to show that if ∀x(p(x) ∨q(x)) and ∀x ((¬ p(x) ∧ q(x)) → r(x)) are true, then ∀x (¬ r(x) → p(x)) is also true, where the domains of all quantifiers are the same.