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