Translate the following inference to logic notation: For all x, x_9 will play a game or x_9 will not go running. If Elisabeth plays a game, then Elisabeth is running. Therefore if Elisabeth goes running, then Elisabeth is playing a game.
forall x: P(x) or ~Q(x). P(a) -> Q(a). Therefore Q(a) -> P(a).