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: If Mary sleeps, then Michael is cooking. Mary is sleeping or it is sunny. Michael is cooking or it is not sunny.
If it is sunny, then Michael is cooking can be inferred via the rewriting rule.