What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Mary is a bartender. For all x, if x were a cashier, then x is a lawyer. Barbara is a cashier or Thomas is rich. If Thomas were rich, then Barbara is a lawyer.
Nothing can be inferred from these premises.