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