What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Jessica is a bartender or it is cold. If Jessica were a bartender, then it is cloudy. If it is cloudy, then Linda is driving a car. If Linda drives a car, then it is cloudy. Linda is not driving a car.
It is not cloudy. It is cloudy if and only if Linda is driving a car. Linda is driving a car if and only if it is cloudy.