Translate the following inference to logic notation: If Michael were a scientist, then James is listening to a song. Michael is a scientist or it is not cloudy. If James listens to a song, then it is cloudy. Therefore James is listening to a song if and only if Michael is a scientist.
p -> q. p or ~r. q -> r. Therefore q <-> p.