Consider the following premises. If James were a bartender, then John is playing squash. James is a bartender or it is not cloudy. If John plays squash, then it is cloudy. Can we infer the following from them? If we can, name the inference rule being used: If it is cloudy, then John is playing squash.
 From the fact that James is a bartender or it is not cloudy we can infer that if it is cloudy, then James is a bartender via rewriting. Finally, from the fact that if it is cloudy, then James is a bartender, and that if James were a bartender, then John is playing squash we can infer that if it is cloudy, then John is playing squash via transitivity. Therefore, the answer is yes.