Translate the following inference to logic notation: Charles is driving a car if and only if it is cloudy. If Charles drives a car, then it is not cold. If Charles drives a car, then it is cloudy. It is cold. Therefore it is not cloudy.
p <-> q. p -> ~r. p -> q. r. Therefore ~q.