Consider the following premises. It is not late. If it is windy, then Patricia is rich. Patricia is not rich. It is late if and only if Mary is a taxi driver. Can we infer the following from them? If we can, name the inference rule being used: Mary is a taxi driver.
 From the fact that if it is windy, then Patricia is rich, and that Patricia is not rich we can infer that it is not windy via modus tollens. Finally, from the fact that it is late if and only if Mary is a taxi driver, and that it is not late we can infer that Mary is not a taxi driver via biconditional elimination, which contradicts that Mary is a taxi driver. Therefore, the answer is no.