Translate the following inference to logic notation: It is overcast if and only if Susan is a sailor. If it is cold, then Mary is not listening to a song. Susan is not a sailor. Mary is listening to a song. Therefore it is not overcast and it is not cold.
p <-> q. r -> ~s. ~q. s. Therefore ~p and ~r.