What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all y_2, y_2 will sleep if and only if y_2 is an office clerk. It is snowing or Jennifer is an office clerk. If it snows, then Jennifer is sleeping.
If Jennifer were an electrician, then it is snowing. For all y_2, if y_2 sleeps, then y_2 is an office clerk. For all y_2, if y_2 were an office clerk, then y_2 is sleeping.