What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Barbara climbs a mountain, then Jennifer is a carpenter. For all y, if y were an artist, then y is climbing a mountain. If Jennifer were a carpenter, then Barbara is an artist.
If Barbara climbs a mountain, then Barbara is an artist.