Translate the following inference to logic notation: For all x, y is a nurse. Karen is driving a car. If Richard plays tennis, then Jessica is not a nurse. Therefore Karen is driving a car and Richard is not playing tennis.
forall x: P(x). p. q -> ~P(a). Therefore p and ~q.