Translate the following inference to logic notation: It is cloudy if and only if William is running. William is running if and only if Susan is drinking water. If Charles listens to a song, then Susan is drinking water. It is windy. It is not cloudy. Therefore it is windy and Charles is not listening to a song.
p <-> q. q <-> r. s -> r. t. ~p. Therefore t and ~s.