Consider the following premises. John is working if and only if David is curious. Linda is running or John is working. If Linda goes running, then Patricia is not playing a game. Patricia is playing a game. Can we infer the following from them? If we can, name the inference rule being used: David is not curious.
 From the fact that if Linda goes running, then Patricia is not playing a game, and that Patricia is playing a game we can infer that Linda is not running via modus tollens. From the fact that Linda is running or John is working, and that Linda is not running we can infer that John is working via disjunctive syllogism. From the fact that John is working if and only if David is curious we can infer that if John works, then David is curious via biconditional elimination. Finally, from the fact that if John works, then David is curious, and that John is working we can infer that David is curious via modus ponens, which contradicts that David is not curious. Therefore, the answer is no.