Consider the following premises. For all x_8, x_8 is rich or x_8 is an office clerk. John is rich if and only if it is late. It is not late. Can we infer the following from them? John is an office clerk.
 From the fact that for all x_8, x_8 is rich or x_8 is an office clerk we can infer that John is rich or John is an office clerk. From the fact that John is rich if and only if it is late, and that it is not late we can infer that John is not rich. Finally, from the fact that John is rich or John is an office clerk, and that John is not rich we can infer that John is an office clerk. Therefore, the answer is yes.