What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: Elisabeth is climbing a mountain. Thomas is playing a game or Michael is curious. If William were an office clerk, then it is cloudy. If Thomas plays a game, then William is an office clerk. If Michael were curious, then it is cloudy.
If Thomas plays a game, then it is cloudy can be inferred via the transitivity rule.