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 cold, then Mary is a doctor. Joseph is making tea. It is cold.
Mary is a doctor can be inferred via the modus ponens rule. Joseph is making tea and it is cold can be inferred via the conjunction rule. It is cold and Joseph is making tea can be inferred via the conjunction rule.