What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Michael is climbing a mountain if and only if Susan is a writer. It is not late. If Susan were a writer, then Michael is a police officer. Michael is a police officer if and only if it is late.
If Michael climbs a mountain, then Susan is a writer. If Michael were a police officer, then it is late. If Susan were a writer, then Michael is climbing a mountain. If it is late, then Michael is a police officer. Michael is not a police officer.