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