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 snowing or Linda is not bored. If Jennifer sleeps, then it is not sunny. If Linda were bored, then Jennifer is sleeping. If it snows, then Linda is bored. It is sunny.
Jennifer is not sleeping can be inferred via the modus tollens rule. If Linda were bored, then it is not sunny can be inferred via the transitivity rule. If it snows, then Jennifer is sleeping can be inferred via the transitivity rule. If Linda were bored, then it is snowing can be inferred via the rewriting rule.