Translate the following inference to logic notation: For all x, if x_10 drives a car, then x_10 is a server. If Jennifer plays a game, then Jennifer is driving a car. Jennifer is not a server. Therefore Jennifer is not playing a game.
forall x: P(x) -> Q(x). p -> P(a). ~Q(a). Therefore ~p.