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 Jennifer plays squash, then John is climbing a mountain. If it is sunny, then John is not climbing a mountain. John is climbing a mountain or it is not cloudy. Jennifer is playing squash or it is cloudy.
If it is cloudy, then John is climbing a mountain can be inferred via the rewriting rule.