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 raining or it is windy. If it is windy, then David is a nurse. For all x, if x climbs a mountain, then x is a nurse. It is not raining or David is climbing a mountain.
It is windy or David is climbing a mountain can be inferred via the resolution rule. If David plays tennis, then it is not raining can be inferred via the rewriting rule.