Translate the following inference to logic notation: For all x, if x_12 writes a letter, then x_12 is playing tennis. If Jessica plays tennis, then it is raining. If it rains, then Jessica is writing a letter. Therefore if it rains, then Jessica is playing tennis.
forall x: P(x) -> Q(x). Q(a) -> p. p -> P(a). Therefore p -> Q(a).