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 Patricia plays squash, then it is cloudy. If Joseph were a police officer, then Patricia is playing squash. Joseph is a police officer and it is snowing.
If Joseph were a police officer, then it is cloudy can be inferred via the transitivity rule. Joseph is a police officer can be inferred via the simplification rule. It is snowing can be inferred via the simplification rule.