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 Jessica were a carpenter, then Barbara is a soldier. Jennifer is not an office clerk or it is raining. Barbara is not a soldier. It is not cold or Jessica is a carpenter. It is cold or Jennifer is an office clerk.
Jessica is not a carpenter can be inferred via the modus tollens rule. Jennifer is an office clerk or Jessica is a carpenter can be inferred via the resolution rule.