Translate the following inference to logic notation: If Sarah were rich, then William is driving a car. It is overcast if and only if it is cold. It is cold or Sarah is rich. It is not overcast. Therefore William is driving a car.
p -> q. r <-> s. s or p. ~r. Therefore q.