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 late or William is an electrician. It is not sunny or it is cold. William is not an electrician or Jennifer is poor. It is not late or it is sunny.
William is an electrician or it is sunny can be inferred via the resolution rule.