Consider the following premises. Michael is not drinking water. Charles is fast if and only if Michael is drinking water. Jessica is not excited. If Linda cooks, then Jessica is excited. Can we infer the following from them? If we can, name the inference rule being used: Linda is cooking.
 From the fact that Charles is fast if and only if Michael is drinking water, and that Michael is not drinking water we can infer that Charles is not fast via biconditional elimination. Finally, from the fact that if Linda cooks, then Jessica is excited, and that Jessica is not excited we can infer that Linda is not cooking via modus tollens, which contradicts that Linda is cooking. Therefore, the answer is no.