Translate the following inference to logic notation: For all x, y_2 is not a soldier. It is late or Mary is playing tennis. Karen is a soldier if and only if it is late. Therefore Mary is playing tennis.
forall x: ~P(x). p or q. P(a) <-> p. Therefore q.