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 sunny or Thomas is not working. Patricia is not cooking or it is cloudy. If it is sunny, then Thomas is working. Thomas is not working. Patricia is cooking or it is sunny.
It is not sunny can be inferred via the modus tollens rule. It is sunny or it is cloudy can be inferred via the resolution rule. If Thomas works, then it is sunny can be inferred via the rewriting rule.