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 Karen drinks water, then Jennifer is running. Karen is drinking water or Sarah is not taking a plane. If Jennifer goes running, then Sarah is taking a plane.
If Karen drinks water, then Sarah is taking a plane can be inferred via the transitivity rule. If Sarah takes a plane, then Karen is drinking water can be inferred via the rewriting rule.