Consider the following premises. If Karen were a janitor, then Barbara is drinking water. John is working. For all x_14, x_14 will not drink water. Can we infer the following from them? For all x_14, x_14 will not drink water.
That is one of the premises. Therefore, the answer is yes.