Consider the following premises. For all x_10, if x_10 plays a game, then x_10 is reading a book. If Mary reads a book, then it is cloudy. It is not cloudy. Can we infer the following from them? Mary is not playing a game.
 From the fact that for all x_10, if x_10 plays a game, then x_10 is reading a book we can infer that if Mary plays a game, then Mary is reading a book. From the fact that if Mary reads a book, then it is cloudy, and that it is not cloudy we can infer that Mary is not reading a book. Finally, from the fact that if Mary plays a game, then Mary is reading a book, and that Mary is not reading a book we can infer that Mary is not playing a game. Therefore, the answer is yes.