Consider the following premises. David is not rich. Linda is not a writer. If Elisabeth were a taxi driver, then Linda is a writer. David is rich if and only if it is windy. Can we infer the following from them? If we can, name the inference rule being used: Elisabeth is not a taxi driver and it is not windy.
 From the fact that if Elisabeth were a taxi driver, then Linda is a writer, and that Linda is not a writer we can infer that Elisabeth is not a taxi driver via modus tollens. From the fact that David is rich if and only if it is windy, and that David is not rich we can infer that it is not windy via biconditional elimination. Finally, from the fact that Elisabeth is not a taxi driver, and that it is not windy we can infer that Elisabeth is not a taxi driver and it is not windy via conjunction. Therefore, the answer is yes.