Consider the following premises. For all x_5, x_5 will drink water. For all x_5, if x_5 were a lawyer, then x_5 is not driving a car. For all x_5, x_5 will not drink water. Can we infer the following from them? For all x_5, x_5 is not a lawyer.
 From the fact that for all x_5, x_5 will drink water we can infer that for all x_5, x_5 will drink water or x_5 will drive a car. From the fact that for all x_5, x_5 will drink water or x_5 will drive a car, and that for all x_5, x_5 will not drink water we can infer that for all x_5, x_5 will drive a car. Finally, from the fact that for all x_5, if x_5 were a lawyer, then x_5 is not driving a car, and that for all x_5, x_5 will drive a car we can infer that for all x_5, x_5 is not a lawyer. Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.