What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is late, then it is not snowing. If Mary were not an office clerk, then it is overcast. Karen is driving a car. If Mary were an office clerk, then it is late. It is snowing.
It is not late. Karen is driving a car and it is snowing. It is snowing and Karen is driving a car.