Consider the following premises. Mary is not bored. For all x_13, x_13 is bored if and only if x_13 will drink water. David is driving a car. Can we infer the following from them? Mary is not drinking water.
 From the fact that for all x_13, x_13 is bored if and only if x_13 will drink water we can infer that Mary is bored if and only if Mary is drinking water. Finally, from the fact that Mary is bored if and only if Mary is drinking water, and that Mary is not bored we can infer that Mary is not drinking water. Therefore, the answer is yes.