Consider the following premises. For all x_8, x_8 is a bartender if and only if x_8 is fast. For all x_8, x_8 is not fast. For all x_8, x_8 will work if and only if x_8 is a poet. For all x_8, x_8 is a poet if and only if x_8 is a bartender. Can we infer the following from them? For all x_8, x_8 will not work.
 From the fact that for all x_8, x_8 is a bartender if and only if x_8 is fast, and that for all x_8, x_8 is not fast we can infer that for all x_8, x_8 is not a bartender. From the fact that for all x_8, x_8 is a poet if and only if x_8 is a bartender, and that for all x_8, x_8 is not a bartender we can infer that for all x_8, x_8 is not a poet. Finally, from the fact that for all x_8, x_8 will work if and only if x_8 is a poet, and that for all x_8, x_8 is not a poet we can infer that for all x_8, x_8 will not work. Therefore, the answer is yes.