Translate the following inference to logic notation: Richard is poor. For all x, y will play a game or y will go running. For all x, y will not play a game. Therefore Richard is poor and Susan is running.
p. forall x: P(x) or Q(x). forall x: ~P(x). Therefore p and Q(a).