Use rules of inference to show that if Vz(P(x) , Q(x)) and Va((-P(x) Q(x)) R(z)) are true, then x(R(x)-P(x)) is also true, where the domains of all quantifiers are the same