What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all y, y will play a game. For all y, y will take a plane. If Patricia plays squash, then Karen is not taking a plane.
For all y, y will play a game and y will take a plane. For all y, y will take a plane and y will play a game.