Consider the following premises. For all x_12, x_12 is not an office clerk. For all x_12, x_12 is an astronaut or x_12 is an office clerk. For all x_12, x_12 is not an astronaut or x_12 will go running. For all x_12, x_12 will not go running. Can we infer the following from them? For all x_12, x_12 is a poet or x_12 is a lawyer.
 From the fact that for all x_12, x_12 is an astronaut or x_12 is an office clerk, and that for all x_12, x_12 is not an astronaut or x_12 will go running we can infer that for all x_12, x_12 is an office clerk or x_12 will go running. From the fact that for all x_12, x_12 is an office clerk or x_12 will go running, and that for all x_12, x_12 is not an office clerk we can infer that for all x_12, x_12 will go running. From the fact that for all x_12, x_12 will go running we can infer that for all x_12, x_12 will go running or x_12 is a poet. From the fact that for all x_12, x_12 will go running or x_12 is a poet, and that for all x_12, x_12 will not go running we can infer that for all x_12, x_12 is a poet. Finally, from the fact that for all x_12, x_12 is a poet we can infer that for all x_12, x_12 is a poet or x_12 is a lawyer. Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.