Translate the following inference to logic notation: If it is overcast, then Mary is playing a game. For all x, if x_17 sleeps, then x_17 is listening to a song. It is overcast or Jessica is sleeping. If Jessica listens to a song, then Mary is playing a game. If Mary plays a game, then it is overcast. Therefore Mary is playing a game.
p -> q. forall x: P(x) -> Q(x). p or P(a). Q(a) -> q. q -> p. Therefore q.