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 were a janitor, then it is cold. It is late or it is not cold. If Linda cooks, then it is cold. Barbara is a janitor or Linda is cooking.
If it is cold, then it is late can be inferred via the rewriting rule. It is cold can be inferred via the disjunction elimination rule.