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: If it is windy, then Susan is reading a book. If it is cold, then Michael is playing a game. It is raining or it is windy. It is cold. Susan is reading a book or it is not raining.
Michael is playing a game can be inferred via the modus ponens rule. If it rains, then Susan is reading a book can be inferred via the rewriting rule.