What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: Linda is driving a car and it is sunny. For all x, x will play a game.
Linda is driving a car can be inferred via the simplification rule. It is sunny can be inferred via the simplification rule.