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: It is overcast or it is not late. If Elisabeth were a lawyer, then it is late. Elisabeth is a lawyer or James is taking a plane. It is overcast or James is not taking a plane.
If it is late, then it is overcast can be inferred via the rewriting rule. If James takes a plane, then it is overcast can be inferred via the rewriting rule.