What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all y, if y were an astronaut, then y is playing tennis. For all y, if y plays tennis, then y is an astronaut. Sarah is not playing tennis. Patricia is a soldier and Patricia is driving a car.
Patricia is a soldier. Patricia is driving a car. For all y, y is an astronaut if and only if y will play tennis. For all y, y will play tennis if and only if y is an astronaut.