Translate the following inference to logic notation: For all x, x_14 will play a game. For all x, x_14 will read a book. If Charles plays a game, then Michael is rich. Therefore Michael is rich.
forall x: P(x). forall x: Q(x). P(a) -> p. Therefore p.