Translate the following inference to logic notation: For all x, if x_10 sleeps, then x_10 is playing a game. It is late. If it is late, then Thomas is sleeping. Therefore Thomas is playing a game.
forall x: P(x) -> Q(x). p. p -> P(a). Therefore Q(a).