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