What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Michael cooks, then James is a janitor. If Michael cooks, then Jennifer is a cashier. If Jennifer were a cashier, then Michael is cooking.
If Jennifer were a cashier, then James is a janitor. Michael is cooking if and only if Jennifer is a cashier. Jennifer is a cashier if and only if Michael is cooking.