Translate the following inference to logic notation: James is a politician if and only if Sarah is curious. Sarah is not curious. Joseph is climbing a mountain or Barbara is listening to a song. If Joseph climbs a mountain, then James is a politician. Therefore Barbara is listening to a song.
p <-> q. ~q. r or s. r -> p. Therefore s.