Consider the following premises. For all x, if x drinks water, then x is a soldier. There is at least one x for which if x were a soldier, then x is drinking water. Can we infer the following from them? If we can, name the inference rule being used: For all x, if is not true that x will drink water if and only if x is a soldier.
That contradicts the premises. Therefore the answer is no.