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 a game, then Patricia is making tea. If Charles were an astronaut, then Patricia is playing a game. If Charles were not an astronaut, then it is raining. Patricia is not making tea. If it rains, then Michael is running.
Patricia is not playing a game can be inferred via the modus tollens rule. If Charles were an astronaut, then Patricia is making tea can be inferred via the transitivity rule. If Charles were not an astronaut, then Michael is running can be inferred via the transitivity rule.