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