Translate the following inference to logic notation: For all x, x_14 is not a soldier. Karen is happy. It is windy if and only if John is a soldier. Therefore Karen is happy and it is not windy.
forall x: ~P(x). p. q <-> P(a). Therefore p and ~q.