Consider the following premises. It is windy. David is drinking water if and only if it is windy. If David drinks water, then it is windy. Can we infer the following from them? David is not drinking water.
 From the fact that David is drinking water if and only if it is windy we can infer that if it is windy, then David is drinking water. From the fact that if it is windy, then David is drinking water, and that if David drinks water, then it is windy we can infer that it is windy if and only if David is drinking water. From the fact that it is windy if and only if David is drinking water we can infer that if it is windy, then David is drinking water. Finally, from the fact that if it is windy, then David is drinking water, and that it is windy we can infer that David is drinking water, which contradicts that David is not drinking water. Therefore, the answer is no.