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