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: Karen is a writer. If Sarah were a doctor, then Michael is a musician. Michael is not a musician. If Karen plays tennis, then Karen is not a writer.
Sarah is not a doctor can be inferred via the modus tollens rule. Karen is not playing tennis can be inferred via the modus tollens rule. Karen is a writer and Michael is not a musician can be inferred via the conjunction rule. Michael is not a musician and Karen is a writer can be inferred via the conjunction rule.