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 not reading a book or it is raining. If Michael plays squash, then James is running. It is raining if and only if James is running. Karen is reading a book or Michael is playing squash.
Michael is playing squash or it is raining can be inferred via the resolution rule. If it rains, then James is running can be inferred via the biconditional elimination rule. If James goes running, then it is raining can be inferred via the biconditional elimination rule.