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: Barbara is rich. If Jessica makes tea, then it is sunny. If Barbara were an electrician, then Jessica is making tea. Barbara is an electrician or Barbara is happy. If Barbara were happy, then it is sunny.
If Barbara were an electrician, then it is sunny can be inferred via the transitivity rule.