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: There is at least one x for which x is not a janitor or x is a bartender. For all x, x is not bored or x is a carpenter. For all x, if x were a bartender, then x is a cashier. For all x, x is a janitor or x is bored. For all x, if x were a carpenter, then x is a cashier.
There is at least one x for which x is bored or x is a bartender can be inferred via the existential resolution rule.