Translate the following inference to logic notation: Jennifer is driving a car if and only if Charles is drinking water. If it is windy, then it is overcast. It is windy if and only if Jennifer is driving a car. If it is overcast, then it is windy. Charles is not drinking water. Therefore it is not overcast.
p <-> q. r -> s. r <-> p. s -> r. ~q. Therefore ~s.