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: Jennifer is taking a plane or it is not overcast. If it is sunny, then David is a carpenter. If Jennifer takes a plane, then it is sunny. If David were a carpenter, then it is cold.
If it is sunny, then it is cold can be inferred via the transitivity rule. If Jennifer takes a plane, then David is a carpenter can be inferred via the transitivity rule. If it is overcast, then Jennifer is taking a plane can be inferred via the rewriting rule.