What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is raining if and only if Charles is a bartender. If Susan climbs a mountain, then it is raining. For all z, z is not a bartender.
If it rains, then Charles is a bartender. If Charles were a bartender, then it is raining.