Consider the following premises. Jessica is not an office clerk. It is sunny and it is snowing. Jessica is an office clerk if and only if it is cloudy. Can we infer the following from them? If we can, name the inference rule being used: It is not cloudy and it is sunny.
 From the fact that it is sunny and it is snowing we can infer that it is sunny via simplification. From the fact that Jessica is an office clerk if and only if it is cloudy, and that Jessica is not an office clerk we can infer that it is not cloudy via biconditional elimination. Finally, from the fact that it is not cloudy, and that it is sunny we can infer that it is not cloudy and it is sunny via conjunction. Therefore, the answer is yes.