What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Jennifer were a police officer, then it is snowing. If Jennifer were excited, then Jennifer is a police officer. If Michael cooks, then it is sunny. It is not snowing. If Jennifer were not excited, then Michael is cooking.
Jennifer is not a police officer. If Jennifer were excited, then it is snowing. If Jennifer were not excited, then it is sunny.