Translate the following inference to logic notation: For all x, x_14 will play squash. For all x, x_14 is poor. If Joseph plays squash, then Sarah is sleeping. Therefore Sarah is sleeping.
forall x: P(x). forall x: Q(x). P(a) -> p. Therefore p.