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