Consider the following premises. Linda is a mechanic if and only if Jennifer is sleeping. If it is sunny, then Jennifer is sleeping. Linda is not a mechanic. Can we infer the following from them? If we can, name the inference rule being used: It is not sunny or David is a poet.
 From the fact that Linda is a mechanic if and only if Jennifer is sleeping, and that Linda is not a mechanic we can infer that Jennifer is not sleeping via biconditional elimination. From the fact that if it is sunny, then Jennifer is sleeping, and that Jennifer is not sleeping we can infer that it is not sunny via modus tollens. Finally, from the fact that it is not sunny we can infer that it is not sunny or David is a poet via addition. Therefore, the answer is yes.