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 not snowing. Jennifer is listening to a song. Jennifer is not a cashier or Jennifer is a politician. Jennifer is a cashier or it is snowing.
It is not snowing and Jennifer is listening to a song can be inferred via the conjunction rule. Jennifer is listening to a song and it is not snowing can be inferred via the conjunction rule. It is snowing or Jennifer is a politician can be inferred via the resolution rule.