Consider the following premises. For all x_11, x_11 will work if and only if x_11 is sad. For all x_11, x_11 is sad or x_11 will take a plane. For all x_11, x_11 is a bartender or x_11 is a politician. For all x_11, if x_11 were a bartender, then x_11 is not taking a plane. For all x_11, x_11 will not work. Can we infer the following from them? For all x_11, x_11 is a politician.
 From the fact that for all x_11, x_11 will work if and only if x_11 is sad, and that for all x_11, x_11 will not work we can infer that for all x_11, x_11 is not sad. From the fact that for all x_11, x_11 is sad or x_11 will take a plane, and that for all x_11, x_11 is not sad we can infer that for all x_11, x_11 will take a plane. From the fact that for all x_11, if x_11 were a bartender, then x_11 is not taking a plane, and that for all x_11, x_11 will take a plane we can infer that for all x_11, x_11 is not a bartender. Finally, from the fact that for all x_11, x_11 is a bartender or x_11 is a politician, and that for all x_11, x_11 is not a bartender we can infer that for all x_11, x_11 is a politician. Therefore, the answer is yes.