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: Michael is not a soldier or Susan is taking a plane. Thomas is not an electrician. If David cooks, then Thomas is an electrician. It is windy or Michael is a soldier. It is not windy or David is cooking.
David is not cooking can be inferred via the modus tollens rule. Michael is a soldier or David is cooking can be inferred via the resolution rule.