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: For all x_8, x_8 is a bartender or x_8 is a mechanic. If Barbara were a cashier, then it is late. If Karen were a bartender, then Barbara is a cashier. If Karen were a mechanic, then it is late.
If Karen were a bartender, then it is late can be inferred via the transitivity rule.