Consider the following premises. If Barbara were a taxi driver, then Thomas is an artist. Barbara is a taxi driver. It is not cloudy. It is cloudy if and only if it is overcast. Can we infer the following from them? If we can, name the inference rule being used: If Barbara were a taxi driver, then Thomas is an artist.
That is one of the premises. Therefore, the answer is yes.