Consider the following premises. There is at least one x_14 for which if x_14 sleeps, then x_14 is a politician. For all x_14, x_14 is a janitor. For all x_14, x_14 is a soldier if and only if x_14 will sleep. For all x_14, if x_14 were poor, then x_14 is a politician. For all x_14, if x_14 were a janitor, then x_14 is a soldier. Can we infer the following from them? For all x_14, x_14 is not a politician.
 From the fact that for all x_14, x_14 is a soldier if and only if x_14 will sleep we can infer that for all x_14, if x_14 were a soldier, then x_14 is sleeping. From the fact that for all x_14, if x_14 were a janitor, then x_14 is a soldier, and that for all x_14, if x_14 were a soldier, then x_14 is sleeping we can infer that for all x_14, if x_14 were a janitor, then x_14 is sleeping. From the fact that for all x_14, if x_14 were a janitor, then x_14 is sleeping, and that there is at least one x_14 for which if x_14 sleeps, then x_14 is a politician we can infer that there is at least one x_14 for which if x_14 were a janitor, then x_14 is a politician. From the fact that for all x_14, x_14 is a janitor we can infer that for all x_14, x_14 is a janitor or x_14 is poor. Finally, from the fact that there is at least one x_14 for which if x_14 were a janitor, then x_14 is a politician, that for all x_14, if x_14 were poor, then x_14 is a politician, and that for all x_14, x_14 is a janitor or x_14 is poor we can infer that there is at least one x_14 for which x_14 is a politician, which contradicts that For all x_14, x_14 is not a politician. Therefore, the answer is no.