Consider the following premises. For all x_18, if x_18 sleeps, then x_18 is an office clerk. For all x_18, x_18 will sleep. For all x_18, if x_18 were an office clerk, then x_18 is sleeping. Can we infer the following from them? James is not an office clerk.
 From the fact that for all x_18, if x_18 sleeps, then x_18 is an office clerk, and that for all x_18, if x_18 were an office clerk, then x_18 is sleeping we can infer that for all x_18, x_18 will sleep if and only if x_18 is an office clerk. From the fact that for all x_18, x_18 will sleep if and only if x_18 is an office clerk we can infer that for all x_18, if x_18 sleeps, then x_18 is an office clerk. Finally, from the fact that for all x_18, if x_18 sleeps, then x_18 is an office clerk, and that for all x_18, x_18 will sleep we can infer that for all x_18, x_18 is an office clerk, which contradicts that James is not an office clerk. Therefore, the answer is no.