Consider the following premises. For all x_8, x_8 will work if and only if x_8 will drink water. If Charles drinks water, then Charles is working. Can we infer the following from them? For all x_8, x_8 will work if and only if x_8 will drink water.
That is one of the premises. Therefore, the answer is yes.