What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Elisabeth is not driving a car. For all x_11, x_11 will work. John is playing a game if and only if Elisabeth is driving a car.
If John plays a game, then Elisabeth is driving a car. If Elisabeth drives a car, then John is playing a game. John is not playing a game.