Translate the following inference to logic notation: Joseph is a janitor if and only if Robert is a nurse. Joseph is not a janitor. William is listening to a song. If it is cold, then Robert is a nurse. Therefore it is not cold and William is listening to a song.
p <-> q. ~p. r. s -> q. Therefore ~s and r.