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 drives a car, then Jessica is making tea. If William goes running, then Jennifer is playing squash. If Jennifer plays squash, then it is sunny. If Jessica makes tea, then Jennifer is playing squash. If it is sunny, then William is running.
If Linda drives a car, then Jennifer is playing squash can be inferred via the transitivity rule. If William goes running, then it is sunny can be inferred via the transitivity rule. If Jennifer plays squash, then William is running can be inferred via the transitivity rule. If Jessica makes tea, then it is sunny can be inferred via the transitivity rule. If it is sunny, then Jennifer is playing squash can be inferred via the transitivity rule.