Consider the following premises. Elisabeth is an electrician. For all x_1, x_1 is not a bartender. Elisabeth is not an electrician or it is cold. Can we infer the following from them? It is cold.
 From the fact that for all x_1, x_1 is not a bartender we can infer that James is not a bartender. From the fact that Elisabeth is an electrician we can infer that Elisabeth is an electrician or James is a bartender. From the fact that Elisabeth is an electrician or James is a bartender, and that Elisabeth is not an electrician or it is cold we can infer that James is a bartender or it is cold. Finally, from the fact that James is a bartender or it is cold, and that James is not a bartender we can infer that it is cold. Therefore, the answer is yes.