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: If it is overcast, then Charles is curious. If Michael were bored, then Robert is making tea. If Jennifer were a soldier, then it is overcast. If Susan were a scientist, then Jennifer is a soldier. If Charles were curious, then Michael is bored.
If it is overcast, then Michael is bored can be inferred via the transitivity rule. If Jennifer were a soldier, then Charles is curious can be inferred via the transitivity rule. If Susan were a scientist, then it is overcast can be inferred via the transitivity rule. If Charles were curious, then Robert is making tea can be inferred via the transitivity rule.