Consider the following premises. It is late if and only if James is making tea. If James makes tea, then it is overcast. It is late or it is not overcast. Can we infer the following from them? If we can, name the inference rule being used: It is late if and only if it is overcast.
 From the fact that it is late or it is not overcast we can infer that if it is overcast, then it is late via rewriting. From the fact that it is late if and only if James is making tea we can infer that if it is late, then James is making tea via biconditional elimination. From the fact that if it is late, then James is making tea, and that if James makes tea, then it is overcast we can infer that if it is late, then it is overcast via transitivity. Finally, from the fact that if it is late, then it is overcast, and that if it is overcast, then it is late we can infer that it is late if and only if it is overcast via biconditional introduction. Therefore, the answer is yes.