Consider the following premises. If David were an artist, then Charles is happy. Linda is not playing tennis. Charles is happy if and only if Linda is playing tennis. David is an artist if and only if Joseph is excited. Can we infer the following from them? If we can, name the inference rule being used: Joseph is excited.
 From the fact that Charles is happy if and only if Linda is playing tennis, and that Linda is not playing tennis we can infer that Charles is not happy via biconditional elimination. From the fact that if David were an artist, then Charles is happy, and that Charles is not happy we can infer that David is not an artist via modus tollens. Finally, from the fact that David is an artist if and only if Joseph is excited, and that David is not an artist we can infer that Joseph is not excited via biconditional elimination, which contradicts that Joseph is excited. Therefore, the answer is no.