What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Richard plays tennis, then Linda is running. Linda is playing a game if and only if Charles is cooking. Richard is playing tennis or Charles is cooking. For all x_15, if x_15 goes running, then x_15 is playing a game.
If Linda plays a game, then Charles is cooking. If Charles cooks, then Linda is playing a game.