What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Mary works, then Mary is a nurse. For all y_1, if y_1 were a nurse, then y_1 is working. Mary is a nurse.
There is at least one x for which x is a nurse.