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 windy or it is sunny. It is not windy or Barbara is a janitor. It is overcast or Barbara is not a janitor. It is overcast or it is not sunny.
It is sunny or Barbara is a janitor can be inferred via the resolution rule. If Barbara were a janitor, then it is overcast can be inferred via the rewriting rule. If it is sunny, then it is overcast can be inferred via the rewriting rule.