Consider the following premises. Charles is reading a book if and only if Elisabeth is an electrician. If John were a taxi driver, then it is overcast. If Charles reads a book, then John is a taxi driver. Can we infer the following from them? If we can, name the inference rule being used: If Elisabeth were an electrician, then it is overcast.
 From the fact that Charles is reading a book if and only if Elisabeth is an electrician we can infer that if Elisabeth were an electrician, then Charles is reading a book via biconditional elimination. From the fact that if Elisabeth were an electrician, then Charles is reading a book, and that if Charles reads a book, then John is a taxi driver we can infer that if Elisabeth were an electrician, then John is a taxi driver via transitivity. Finally, from the fact that if Elisabeth were an electrician, then John is a taxi driver, and that if John were a taxi driver, then it is overcast we can infer that if Elisabeth were an electrician, then it is overcast via transitivity. Therefore, the answer is yes.