Consider the following premises. Thomas is playing squash if and only if Patricia is sleeping. For all z, if z makes tea, then z is a mechanic. Jessica is making tea or it is cloudy. For all y, y will not sleep. If it is cloudy, then Jessica is a mechanic. Can we infer the following from them? If we can, name the inference rule being used: If Jessica were a mechanic, then Thomas is not playing squash.
We cannot infer that from the premises. Therefore the answer is no.