Translate the following inference to logic notation: If Susan were a nurse, then Joseph is listening to a song. It is cloudy if and only if Joseph is listening to a song. If it is cloudy, then Susan is a nurse. Therefore Joseph is listening to a song if and only if it is cloudy.
p -> q. r <-> q. r -> p. Therefore q <-> r.