Consider the following premises. If it is late, then it is raining. It is sunny if and only if it is raining. If it is sunny, then it is late. Can we infer the following from them? If we can, name the inference rule being used: The fact that it rains does not imply that it is late.
 From the fact that it is sunny if and only if it is raining we can infer that if it rains, then it is sunny via biconditional elimination. Finally, from the fact that if it rains, then it is sunny, and that if it is sunny, then it is late we can infer that if it rains, then it is late via transitivity, which contradicts that The fact that it rains does not imply that it is late. Therefore, the answer is no.