Consider the following premises. If David were an electrician, then James is curious. If it is cold, then David is an electrician. It is cold if and only if it is overcast. Can we infer the following from them? If we can, name the inference rule being used: If it is overcast, then James is curious.
 From the fact that it is cold if and only if it is overcast we can infer that if it is overcast, then it is cold via biconditional elimination. From the fact that if it is cold, then David is an electrician, and that if David were an electrician, then James is curious we can infer that if it is cold, then James is curious via transitivity. Finally, from the fact that if it is overcast, then it is cold, and that if it is cold, then James is curious we can infer that if it is overcast, then James is curious via transitivity. Therefore, the answer is yes.