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