Consider the following premises. If Elisabeth were a server, then it is cold. Elisabeth is a server if and only if it is overcast. It is not overcast. If it is cold, then Elisabeth is a server. Can we infer the following from them? It is cold.
 From the fact that if it is cold, then Elisabeth is a server, and that if Elisabeth were a server, then it is cold we can infer that it is cold if and only if Elisabeth is a server. From the fact that Elisabeth is a server if and only if it is overcast, and that it is not overcast we can infer that Elisabeth is not a server. Finally, from the fact that it is cold if and only if Elisabeth is a server, and that Elisabeth is not a server we can infer that it is not cold, which contradicts that It is cold. Therefore, the answer is no.