What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Sarah were a lawyer, then it is snowing. If Joseph were a cashier, then William is an artist. If it snows, then Joseph is a cashier. If William were an artist, then Joseph is a cashier. For all y, y is not an artist.
If Sarah were a lawyer, then Joseph is a cashier.