Translate the following inference to logic notation: For all x, y is a writer if and only if y will play tennis. If Karen plays tennis, then Karen is a writer. Therefore if Karen were a writer, then Karen is playing tennis.
forall x: P(x) <-> Q(x). Q(a) -> P(a). Therefore P(a) -> Q(a).