What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x_11, x_11 is a cashier or x_11 is an artist. Charles is not a cashier or Robert is drinking water. Sarah is a janitor or Charles is not an artist. If Robert drinks water, then Sarah is a janitor.
If Charles were an artist, then Sarah is a janitor.