Translate the following inference to logic notation: William is not listening to a song. If Jessica makes tea, then William is listening to a song. Jessica is making tea if and only if Jessica is drinking water. Therefore Jessica is not drinking water.
~p. q -> p. q <-> r. Therefore ~r.