Consider the following premises. If John drinks water, then David is sad. For all x_12, x_12 is sad if and only if x_12 will listen to a song. If David listens to a song, then John is drinking water. Can we infer the following from them? If is not true that John is drinking water if and only if David is sad.
That contradicts the premises. Therefore the answer is no.