Translate the following inference to logic notation: There is at least one x for which x_10 will play squash and x_10 is a musician. For all x, if x_10 were a bartender, then x_10 is reading a book. For all x, x_10 is a bartender. Therefore there is at least one x for which x_10 will read a book and x_10 will play squash.
exists x: P(x) and Q(x). forall x: R(x) -> S(x). forall x: R(x). Therefore exists x: S(x) and P(x).