Translate the following inference to logic notation: Sarah is a scientist if and only if Jessica is climbing a mountain. If John listens to a song, then Jessica is climbing a mountain. If Sarah were a scientist, then John is listening to a song. Therefore Sarah is a scientist if and only if Jessica is climbing a mountain.
p <-> q. r -> q. p -> r. Therefore p <-> q.