Translate the following inference to logic notation: For all x, if y were rich, then y is playing a game. James is rich or it is not raining. Therefore if it rains, then James is playing a game.
forall x: P(x) -> Q(x). P(a) or ~p. Therefore p -> Q(a).