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