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