Translate the following inference to logic notation: Thomas is excited if and only if Karen is a musician. Charles is listening to a song and Karen is playing tennis. Thomas is not excited. Therefore Charles is listening to a song and Karen is not a musician.
p <-> q. r and s. ~p. Therefore r and ~q.