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: Richard is an astronaut or it is snowing. If John were sad, then Michael is a cashier. Michael is a cashier or it is not late. It is not cloudy or John is sad. It is not snowing or it is late. Richard is not an astronaut or it is cloudy.
It is snowing or it is cloudy can be inferred via the resolution rule. If it is late, then Michael is a cashier can be inferred via the rewriting rule.