Translate the following inference to logic notation: It is raining if and only if Michael is listening to a song. If Thomas works, then it is raining. Therefore if Thomas works, then Michael is listening to a song.
p <-> q. r -> p. Therefore r -> q.