What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Thomas is running. For all x, x will play a game or x will not go running. If Thomas plays a game, then Linda is fast.
There is at least one x for which x will go running. For all x, if x goes running, then x is playing a game.