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 Jessica were a sailor, then Jennifer is running. If Jennifer goes running, then it is windy. If Jennifer were rich, then Jessica is a sailor. If it is windy, then Jennifer is rich.
If Jessica were a sailor, then it is windy can be inferred via the transitivity rule. If Jennifer goes running, then Jennifer is rich can be inferred via the transitivity rule. If Jennifer were rich, then Jennifer is running can be inferred via the transitivity rule. If it is windy, then Jessica is a sailor can be inferred via the transitivity rule.