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: Michael is an electrician or it is not late. Michael is not an electrician. Susan is working.
It is not late can be inferred via the disjunctive syllogism rule. Michael is not an electrician and Susan is working can be inferred via the conjunction rule. Susan is working and Michael is not an electrician can be inferred via the conjunction rule. If it is late, then Michael is an electrician can be inferred via the rewriting rule.