Consider the following premises. If it is windy, then it is cloudy. Barbara is not reading a book. If Linda were a poet, then it is windy. It is cloudy if and only if Barbara is reading a book. Can we infer the following from them? If we can, name the inference rule being used: Linda is not a poet.
 From the fact that if Linda were a poet, then it is windy, and that if it is windy, then it is cloudy we can infer that if Linda were a poet, then it is cloudy via transitivity. From the fact that it is cloudy if and only if Barbara is reading a book, and that Barbara is not reading a book we can infer that it is not cloudy via biconditional elimination. Finally, from the fact that if Linda were a poet, then it is cloudy, and that it is not cloudy we can infer that Linda is not a poet via modus tollens. Therefore, the answer is yes.