Translate the following inference to logic notation: For all x, x_10 will read a book or x_10 will play a game. If Michael reads a book, then it is sunny. If it is sunny, then Michael is reading a book. It is not sunny. Therefore Michael is playing a game.
forall x: P(x) or Q(x). P(a) -> p. p -> P(a). ~p. Therefore Q(a).