What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Jessica sleeps, then Sarah is drinking water. James is not an astronaut or Jessica is sleeping. If it is overcast, then Sarah is drinking water. For all y_4, y_4 is an astronaut or y_4 is an office clerk. It is overcast if and only if James is an office clerk.
If it is overcast, then James is an office clerk. If James were an office clerk, then it is overcast.