What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is not cloudy. If it is late, then it is snowing. If it snows, then John is playing tennis. If John plays tennis, then it is cloudy. Joseph is climbing a mountain if and only if it is late.
John is not playing tennis. If it is late, then John is playing tennis. If it snows, then it is cloudy. If Joseph climbs a mountain, then it is late. If it is late, then Joseph is climbing a mountain.