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: Elisabeth is a cashier. If Joseph takes a plane, then Elisabeth is not a cashier. Joseph is taking a plane if and only if William is rich. William is rich.
Since the premises are contradictory, we can infer anything from them.