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: John is not a bartender or it is cloudy. Joseph is not making tea or Jessica is an electrician. Joseph is making tea or John is a bartender. Jessica is not an electrician or Elisabeth is sad.
John is a bartender or Jessica is an electrician can be inferred via the resolution rule.