Translate the following inference to logic notation: It is not cloudy. It is cloudy if and only if it is raining. David is reading a book or it is cold. If David reads a book, then it is raining. Therefore it is cold.
~p. p <-> q. r or s. r -> q. Therefore s.