Translate the following inference to logic notation: Linda is not climbing a mountain. Linda is climbing a mountain if and only if Sarah is a poet. Jennifer is listening to a song if and only if Sarah is a poet. Therefore Jennifer is not listening to a song.
~p. p <-> q. r <-> q. Therefore ~r.