What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Susan is not a janitor. Barbara is a police officer if and only if Michael is drinking water. Susan is a janitor or Michael is drinking water.
Michael is drinking water. If Barbara were a police officer, then Michael is drinking water. If Michael drinks water, then Barbara is a police officer.