Translate the following inference to logic notation: If Jessica doesn't play a game, then David is running. Jessica is not a janitor. For all x, if x_14 plays a game, then x_14 is a janitor. Therefore David is running.
~P(a) -> p. ~Q(a). forall x: P(x) -> Q(x). Therefore p.