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 Joseph takes a plane, then John is running. If John goes running, then Joseph is drinking water. For all x_12, if x_12 drinks water, then x_12 is taking a plane.
If Joseph takes a plane, then Joseph is drinking water can be inferred via the transitivity rule.