Consider the following premises. For all x_5, if x_5 plays squash, then x_5 is drinking water. James is not drinking water. Can we infer the following from them? James is not playing squash.
 From the fact that for all x_5, if x_5 plays squash, then x_5 is drinking water we can infer that if James plays squash, then James is drinking water. Finally, from the fact that if James plays squash, then James is drinking water, and that James is not drinking water we can infer that James is not playing squash. Therefore, the answer is yes.