Use rules of inference to show that if

$\displaystyle

\forall x (P(x) \vee Q(x))$ and $\displaystyle \forall x ((\neg P(x) \wedge Q(x)) \rightarrow R(x))

$

then

$\displaystyle

\forall x (\neg R(x) \rightarrow P(x))

$

Im doing test review stuff, and im just plain stuck here... I can get about halfway, then after that i can't make any connections. Any help would be great!