Consider the following premises. Susan is an artist if and only if it is cold. Susan is an artist or it is not cold. Can we infer the following from them? If Susan were an artist, then it is cold.
Yes.