Consider the following premises. If Robert were a writer, then Barbara is a taxi driver. If it is overcast, then Robert is a writer. It is overcast or it is not sunny. Can we infer the following from them? If we can, name the inference rule being used: If it is sunny, then Barbara is a taxi driver.
 From the fact that if it is overcast, then Robert is a writer, and that if Robert were a writer, then Barbara is a taxi driver we can infer that if it is overcast, then Barbara is a taxi driver via transitivity. From the fact that it is overcast or it is not sunny we can infer that if it is sunny, then it is overcast via rewriting. Finally, from the fact that if it is sunny, then it is overcast, and that if it is overcast, then Barbara is a taxi driver we can infer that if it is sunny, then Barbara is a taxi driver via transitivity. Therefore, the answer is yes.