Consider the following premises. If it is windy, then Jennifer is playing a game. If it is sunny, then it is windy. It is sunny or Jennifer is not playing a game. Can we infer the following from them? If we can, name the inference rule being used: If it is sunny, then Jennifer is playing a game.
 From the fact that it is sunny or Jennifer is not playing a game we can infer that if Jennifer plays a game, then it is sunny via rewriting. Finally, from the fact that if it is sunny, then it is windy, and that if it is windy, then Jennifer is playing a game we can infer that if it is sunny, then Jennifer is playing a game via transitivity. Therefore, the answer is yes.