Consider the following premises. If it is late, then Jennifer is fast. If Thomas plays a game, then Jennifer is fast. If Jennifer were fast, then Thomas is playing a game. Thomas is not playing a game. 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 Jennifer were fast, then Thomas is playing a game, and that if Thomas plays a game, then Jennifer is fast we can infer that Jennifer is fast if and only if Thomas is playing a game via biconditional introduction. From the fact that Jennifer is fast if and only if Thomas is playing a game, and that Thomas is not playing a game we can infer that Jennifer is not fast via biconditional elimination. Finally, from the fact that if it is late, then Jennifer is fast, and that Jennifer is not fast we can infer that it is not late via modus tollens. Therefore, the answer is yes.