Consider the following premises. Karen is not drinking water. If it is overcast, then it is snowing. It is overcast if and only if Barbara is cooking. If it snows, then Karen is drinking water. Can we infer the following from them? If we can, name the inference rule being used: Barbara is cooking.
 From the fact that if it snows, then Karen is drinking water, and that Karen is not drinking water we can infer that it is not snowing via modus tollens. From the fact that if it is overcast, then it is snowing, and that it is not snowing we can infer that it is not overcast via modus tollens. Finally, from the fact that it is overcast if and only if Barbara is cooking, and that it is not overcast we can infer that Barbara is not cooking via biconditional elimination, which contradicts that Barbara is cooking. Therefore, the answer is no.