Translate the following inference to logic notation: If Thomas were curious, then Karen is writing a letter. If it is cold, then Thomas is playing tennis. For all x, if x_10 plays tennis, then x_10 is curious. Therefore if it is cold, then Karen is writing a letter.
P(a) -> p. q -> Q(a). forall x: Q(x) -> P(x). Therefore q -> p.