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