Consider the following premises. David is drinking water if and only if Linda is playing tennis. If David drinks water, then Richard is cooking. For all x_10, x_10 will not cook. Can we infer the following from them? If we can, name the inference rule being used: Linda is playing tennis.
 From the fact that for all x_10, x_10 will not cook we can infer that Richard is not cooking via universal instantiation. From the fact that if David drinks water, then Richard is cooking, and that Richard is not cooking we can infer that David is not drinking water via modus tollens. Finally, from the fact that David is drinking water if and only if Linda is playing tennis, and that David is not drinking water we can infer that Linda is not playing tennis via biconditional elimination, which contradicts that Linda is playing tennis. Therefore, the answer is no.