Translate the following inference to logic notation: Charles is not a soldier. Charles is a soldier if and only if Joseph is listening to a song. Joseph is playing a game. Joseph is listening to a song if and only if James is an office clerk. Therefore Joseph is playing a game and James is not an office clerk.
~p. p <-> q. r. q <-> s. Therefore r and ~s.