Consider the following premises. It is raining. For all x_4, x_4 will not drink water. It is raining if and only if Mary is drinking water. Can we infer the following from them? It is raining if and only if Mary is drinking water.
That is one of the premises. Therefore, the answer is yes.