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