Translate the following inference to logic notation: If John were a politician, then James is sleeping. John is a politician or Jessica is a scientist. If James sleeps, then Richard is listening to a song. Jessica is a scientist if and only if James is sleeping. Therefore Richard is listening to a song.
p -> q. p or r. q -> s. r <-> q. Therefore s.