Translate the following inference to logic notation: For all x, x_21 will drink water and x_21 is a sailor. Charles is playing squash. If Charles plays squash, then Jennifer is writing a letter. Therefore Robert is drinking water and Jennifer is writing a letter.
forall x: P(x) and Q(x). p. p -> q. Therefore P(a) and q.