Translate the following inference to logic notation: Richard is driving a car if and only if it is snowing. If it snows, then it is cold. It is windy. If it is cold, then it is not windy. Therefore Richard is not driving a car.
p <-> q. q -> r. s. r -> ~s. Therefore ~p.