Translate the following inference to logic notation: Joseph is not listening to a song or it is windy. Susan is not drinking water. If it is cloudy, then it is not windy. Joseph is listening to a song or Susan is drinking water. Therefore it is not cloudy.
~p or q. ~r. s -> ~q. p or r. Therefore ~s.