Consider the following premises. It is not snowing. It is snowing if and only if it is windy. Patricia is poor. Can we infer the following from them? If we can, name the inference rule being used: It is not windy and Patricia is poor.
 From the fact that it is snowing if and only if it is windy, and that it is not snowing we can infer that it is not windy via biconditional elimination. Finally, from the fact that it is not windy, and that Patricia is poor we can infer that it is not windy and Patricia is poor via conjunction. Therefore, the answer is yes.