Translate the following inference to logic notation: Karen is not a server. Karen is a server if and only if it is cold. If it is not cold, then Charles is sad. If Jessica listens to a song, then Charles is sad. Therefore Charles is sad.
~p. p <-> q. ~q -> r. s -> r. Therefore r.