Translate the following inference to logic notation: It is not cold. It is cloudy. If David were curious, then it is cold. Therefore David is not curious and it is cloudy.
~p. q. r -> p. Therefore ~r and q.