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 Thomas were a janitor, then William is curious. If Linda plays tennis, then Thomas is a janitor. If William were curious, then Linda is playing tennis.
If Thomas were a janitor, then Linda is playing tennis can be inferred via the transitivity rule. If Linda plays tennis, then William is curious can be inferred via the transitivity rule. If William were curious, then Thomas is a janitor can be inferred via the transitivity rule.