Translate the following inference to logic notation: Karen is not an artist. Karen is an artist if and only if it is snowing. Richard is a doctor or Richard is listening to a song. Richard is not a doctor. Therefore Richard is listening to a song and it is not snowing.
~p. p <-> q. r or s. ~r. Therefore s and ~q.