Translate the following inference to logic notation: Charles is not a scientist. Charles is a scientist if and only if Robert is listening to a song. John is a sailor if and only if Robert is listening to a song. John is a sailor or it is cold. Therefore it is cold.
~p. p <-> q. r <-> q. r or s. Therefore s.