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