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