Translate the following inference to logic notation: If Richard listens to a song, then Richard is a doctor. Jennifer is happy if and only if Richard is a doctor. If Jennifer were happy, then Richard is listening to a song. Therefore if Richard were a doctor, then Richard is listening to a song.
p -> q. r <-> q. r -> p. Therefore q -> p.