Consider the following premises. For all x_7, x_7 is a sailor if and only if x_7 will drink water. For all x_7, if x_7 were a sailor, then x_7 is drinking water. Can we infer the following from them? The fact that Michael drinks water does not imply that Michael is a sailor.
That contradicts the premises. Therefore the answer is no.