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 Linda plays squash, then John is an office clerk. If John were an office clerk, then Richard is drinking water. Linda is playing squash or Richard is not drinking water.
If Linda plays squash, then Richard is drinking water can be inferred via the transitivity rule. If Richard drinks water, then Linda is playing squash can be inferred via the rewriting rule.