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 not windy or it is cold. It is windy or it is snowing. Jessica is not sleeping. If it snows, then Jessica is sleeping. It is snowing or Jessica is not sleeping.
It is not snowing can be inferred via the modus tollens rule. It is snowing or it is cold can be inferred via the resolution rule. If Jessica sleeps, then it is snowing can be inferred via the rewriting rule.