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