Translate the following inference to logic notation: For all x, x_5 is not a police officer or x_5 will play a game. If Elisabeth goes running, then Mary is a writer. If Elisabeth plays a game, then Mary is a writer. For all x, x_5 is a police officer or x_5 will go running. Therefore Mary is a writer.
forall x: ~P(x) or Q(x). R(a) -> p. Q(a) -> p. forall x: P(x) or R(x). Therefore p.