Consider the following premises. For all x, x will work if and only if x will drink water. James is drinking water and Karen is a server. Can we infer the following from them? James is working.
 From the fact that for all x, x will work if and only if x will drink water we can infer that James is working if and only if James is drinking water. From the fact that James is working if and only if James is drinking water we can infer that if James drinks water, then James is working. From the fact that James is drinking water and Karen is a server we can infer that James is drinking water. Finally, from the fact that if James drinks water, then James is working, and that James is drinking water we can infer that James is working. Therefore, the answer is yes.