Consider the following premises. For all x_11, x_11 is a writer. There is at least one x_11 for which if x_11 were a writer, then x_11 is a bartender. For all x_11, x_11 will play a game or x_11 is a lawyer. For all x_11, x_11 will not play a game. Can we infer the following from them? For all x_11, either x_11 is a bartender or x_11 is a lawyer are not true.
 From the fact that for all x_11, x_11 will play a game or x_11 is a lawyer, and that for all x_11, x_11 will not play a game we can infer that for all x_11, x_11 is a lawyer. From the fact that there is at least one x_11 for which if x_11 were a writer, then x_11 is a bartender, and that for all x_11, x_11 is a writer we can infer that there is at least one x_11 for which x_11 is a bartender. Finally, from the fact that there is at least one x_11 for which x_11 is a bartender, and that for all x_11, x_11 is a lawyer we can infer that some bartenders are lawyers, which contradicts that For all x_11, either x_11 is a bartender or x_11 is a lawyer are not true. Therefore, the answer is no.