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 Elisabeth were a bartender, then Patricia is a writer. Patricia is not a writer. If Richard were fast, then Elisabeth is a bartender. It is overcast and Sarah is playing squash.
Elisabeth is not a bartender can be inferred via the modus tollens rule. If Richard were fast, then Patricia is a writer can be inferred via the transitivity rule. It is overcast can be inferred via the simplification rule. Sarah is playing squash can be inferred via the simplification rule.