Translate the following inference to logic notation: Michael is listening to a song if and only if John is drinking water. Karen is a doctor if and only if John is a poet. If Michael listens to a song, then John is a poet. Karen is not a doctor. Therefore John is not drinking water.
p <-> q. r <-> s. p -> s. ~r. Therefore ~q.