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 it is not overcast. It is overcast or Jessica is drinking water. It is snowing or Jessica is not drinking water.
If it is overcast, then it is snowing can be inferred via the rewriting rule. If Jessica drinks water, then it is snowing can be inferred via the rewriting rule.