Consider the following premises. For all x_23, x_23 is not a bartender. It is snowing and Linda is happy. William is sad if and only if Susan is a bartender. Can we infer the following from them? If it snows, then William is not sad.
We cannot infer that from the premises. Therefore the answer is no.