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: If Barbara goes running, then Richard is an electrician. Jennifer is working or Barbara is running. If Linda cooks, then Richard is an electrician. Jennifer is not working or it is late. If it is late, then Linda is cooking.
If it is late, then Richard is an electrician can be inferred via the transitivity rule. Barbara is running or it is late can be inferred via the resolution rule.