Translate the following inference to logic notation: It is late if and only if Karen is a politician. It is cloudy if and only if Jennifer is an artist. It is not cloudy. It is not late. Therefore Karen is not a politician and Jennifer is not an artist.
p <-> q. r <-> s. ~r. ~p. Therefore ~q and ~s.