Consider the following premises. John is drinking water if and only if it is windy. John is not drinking water if and only if Sarah is working. It is not windy. Can we infer the following from them? If we can, name the inference rule being used: William is not happy.
We cannot infer that from the premises. Therefore the answer is no.