Consider the following premises. For all x_7, if x_7 drinks water, then x_7 is working. There is at least one x_7 for which if x_7 works, then x_7 is driving a car. For all x_7, x_7 will sleep if and only if x_7 will drink water. Can we infer the following from them? For all x_7, the fact that x_7 sleeps does not imply that x_7 is driving a car.
That contradicts the premises. Therefore the answer is no.