Consider the following premises. It is not overcast. If Robert works, then it is cold. If it is cold, then it is late. If it is late, then Robert is working. If Robert works, then it is overcast. Can we infer the following from them? If we can, name the inference rule being used: It is not late.
 From the fact that if Robert works, then it is overcast, and that it is not overcast we can infer that Robert is not working via modus tollens. From the fact that if Robert works, then it is cold, and that if it is cold, then it is late we can infer that if Robert works, then it is late via transitivity. From the fact that if Robert works, then it is late, and that if it is late, then Robert is working we can infer that Robert is working if and only if it is late via biconditional introduction. Finally, from the fact that Robert is working if and only if it is late, and that Robert is not working we can infer that it is not late via biconditional elimination. Therefore, the answer is yes.