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