Translate the following inference to logic notation: Robert is listening to a song. It is not cloudy. It is late. It is cloudy or it is windy. Therefore it is windy and it is late.
p. ~q. r. q or s. Therefore s and r.