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 bored or it is not late. It is cloudy. If Karen were bored, then it is late. If it is late, then it is not cloudy.
It is not late can be inferred via the modus tollens rule. If Karen were bored, then it is not cloudy can be inferred via the transitivity rule. If it is late, then Karen is bored can be inferred via the rewriting rule.