Consider the following premises. Joseph is a bartender if and only if it is cold. For all y, y is not a bartender. Thomas is an artist if and only if it is cold. Can we infer the following from them? Thomas is an artist.
 From the fact that for all y, y is not a bartender we can infer that Joseph is not a bartender. From the fact that Joseph is a bartender if and only if it is cold, and that Joseph is not a bartender we can infer that it is not cold. Finally, from the fact that Thomas is an artist if and only if it is cold, and that it is not cold we can infer that Thomas is not an artist, which contradicts that Thomas is an artist. Therefore, the answer is no.