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: James is not running. If Joseph works, then Richard is making tea. James is running if and only if it is late. If it is late, then Joseph is working. If Richard makes tea, then James is running.
Richard is not making tea can be inferred via the modus tollens rule. If Joseph works, then James is running can be inferred via the transitivity rule. If it is late, then Richard is making tea can be inferred via the transitivity rule. If James goes running, then it is late can be inferred via the biconditional elimination rule. If it is late, then James is running can be inferred via the biconditional elimination rule. It is not late can be inferred via the biconditional elimination rule.