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: Barbara is playing a game or James is not running. James is running. If Barbara plays a game, then Richard is rich.
If James goes running, then Barbara is playing a game can be inferred via the rewriting rule.