Consider the following premises. Barbara is playing squash if and only if it is cloudy. Charles is an electrician. Barbara is not playing tennis. For all z, z will play squash if and only if z will play tennis. Can we infer the following from them? Charles is not an electrician.
That contradicts the premises. Therefore the answer is no.