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: It is overcast or Susan is happy. Robert is not cooking. It is not overcast or Susan is a carpenter. If Susan were happy, then Robert is cooking.
Susan is not happy can be inferred via the modus tollens rule. Susan is happy or Susan is a carpenter can be inferred via the resolution rule.