Consider the following premises. If it is cloudy, then Joseph is making tea. For all x_15, if x_15 were an electrician, then x_15 is making tea. For all x_15, x_15 will make tea if and only if x_15 is an electrician. Joseph is not an electrician. Can we infer the following from them? Thomas is not happy.
We cannot infer that from the premises. Therefore the answer is no.