Translate the following inference to logic notation: It is not raining. If Karen plays tennis, then Jennifer is a mechanic. Karen is playing tennis. Barbara is an artist if and only if it is raining. Therefore Jennifer is a mechanic and Barbara is not an artist.
~p. q -> r. q. s <-> p. Therefore r and ~s.