Translate the following inference to logic notation: For all x, if x_14 reads a book, then x_14 is playing squash. Michael is playing a game. If Michael plays a game, then Mary is reading a book. Therefore Mary is playing squash.
forall x: P(x) -> Q(x). p. p -> P(a). Therefore Q(a).