Translate the following inference to logic notation: Barbara is climbing a mountain if and only if Linda is listening to a song. Michael is not taking a plane. Michael is taking a plane if and only if Barbara is climbing a mountain. If Linda listens to a song, then John is drinking water. If John drinks water, then Linda is listening to a song. Therefore John is not drinking water.
p <-> q. ~r. r <-> p. q -> s. s -> q. Therefore ~s.