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 snowing or Elisabeth is climbing a mountain. It is not snowing. If Elisabeth climbs a mountain, then Robert is playing squash.
Elisabeth is climbing a mountain can be inferred via the disjunctive syllogism rule.