What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Sarah were poor, then it is snowing. Sarah is poor. Elisabeth is curious and William is driving a car.
It is snowing. Elisabeth is curious. William is driving a car.