Consider the following premises. For all x_12, x_12 is a bartender if and only if x_12 will make tea. If Linda makes tea, then it is not cold. It is cold. Can we infer the following from them? Linda is not a bartender.
 From the fact that for all x_12, x_12 is a bartender if and only if x_12 will make tea we can infer that Linda is a bartender if and only if Linda is making tea. From the fact that Linda is a bartender if and only if Linda is making tea we can infer that if Linda were a bartender, then Linda is making tea. From the fact that if Linda makes tea, then it is not cold, and that it is cold we can infer that Linda is not making tea. Finally, from the fact that if Linda were a bartender, then Linda is making tea, and that Linda is not making tea we can infer that Linda is not a bartender. Therefore, the answer is yes.