Consider the following premises. If James plays tennis, then Michael is not driving a car. If James were a lawyer, then David is drinking water. For all x_14, x_14 is a lawyer if and only if x_14 will play tennis. Michael is driving a car. If David drinks water, then James is a lawyer. Can we infer the following from them? David is not drinking water.
 From the fact that for all x_14, x_14 is a lawyer if and only if x_14 will play tennis we can infer that James is a lawyer if and only if James is playing tennis. From the fact that if James plays tennis, then Michael is not driving a car, and that Michael is driving a car we can infer that James is not playing tennis. From the fact that if James were a lawyer, then David is drinking water, and that if David drinks water, then James is a lawyer we can infer that James is a lawyer if and only if David is drinking water. From the fact that James is a lawyer if and only if James is playing tennis, and that James is not playing tennis we can infer that James is not a lawyer. Finally, from the fact that James is a lawyer if and only if David is drinking water, and that James is not a lawyer we can infer that David is not drinking water. Therefore, the answer is yes.