Consider the following premises. It is sunny or it is snowing. Jennifer is cooking. If it is sunny, then John is rich. It is snowing if and only if John is rich. Can we infer the following from them? If we can, name the inference rule being used: Jennifer is cooking and John is rich.
 From the fact that it is snowing if and only if John is rich we can infer that if it snows, then John is rich via biconditional elimination. From the fact that if it is sunny, then John is rich, that if it snows, then John is rich, and that it is sunny or it is snowing we can infer that John is rich via disjunction elimination. Finally, from the fact that Jennifer is cooking, and that John is rich we can infer that Jennifer is cooking and John is rich via conjunction. Therefore, the answer is yes.