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: Susan is a doctor. It is cold. Elisabeth is a cashier.
Susan is a doctor and it is cold can be inferred via the conjunction rule. Susan is a doctor and Elisabeth is a cashier can be inferred via the conjunction rule. It is cold and Susan is a doctor can be inferred via the conjunction rule. It is cold and Elisabeth is a cashier can be inferred via the conjunction rule. Elisabeth is a cashier and Susan is a doctor can be inferred via the conjunction rule. Elisabeth is a cashier and it is cold can be inferred via the conjunction rule.