What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Charles is not a police officer. Jessica is making tea or Mary is a writer. Elisabeth is cooking if and only if Charles is a police officer. Elisabeth is cooking if and only if Jessica is making tea.
If Elisabeth cooks, then Charles is a police officer. If Elisabeth cooks, then Jessica is making tea. If Charles were a police officer, then Elisabeth is cooking. If Jessica makes tea, then Elisabeth is cooking. Elisabeth is not cooking.