Translate the following inference to logic notation: For all x, x_10 is a lawyer or x_10 will sleep. If James were a lawyer, then Sarah is playing a game. If Sarah plays a game, then James is a lawyer. If James sleeps, then Sarah is playing a game. Therefore Sarah is playing a game.
forall x: P(x) or Q(x). P(a) -> p. p -> P(a). Q(a) -> p. Therefore p.