What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If David goes running, then it is cold. It is snowing or Barbara is a police officer. If Barbara were a police officer, then it is cold. James is reading a book. If it snows, then David is running.
If it snows, then it is cold.