What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is cold, then Charles is not driving a car. If Sarah plays tennis, then Charles is driving a car. If it rains, then Charles is driving a car. Sarah is playing tennis or it is raining.
Charles is driving a car.