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