What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x_32, if x_32 cooks, then x_32 is a server. If Sarah makes tea, then Elisabeth is not a server. Elisabeth is cooking or John is an astronaut. James is an office clerk if and only if William is bored. If John were an astronaut, then Elisabeth is a server. James is not an office clerk.
If James were an office clerk, then William is bored. If William were bored, then James is an office clerk. William is not bored.