What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Jessica climbs a mountain, then Mary is an artist. It is not snowing. For all x_1, if x_1 were an artist, then x_1 is a carpenter. If Mary were a carpenter, then it is snowing.
Mary is not a carpenter.