What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it snows, then Karen is running. For all x_10, x_10 will not go running. It is snowing if and only if it is cold.
If it snows, then it is cold. If it is cold, then it is snowing.