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.