Consider the following premises. Michael is running if and only if it is late. Can we infer the following from them? If we can, name the inference rule being used: If Michael goes running, then it is late.
We can infer this via the biconditional elimination rule. Therefore, the answer is yes.