What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: It is raining. John is an artist. For all x_14, if x_14 were an artist, then x_14 is happy.
It is raining and John is an artist can be inferred via the conjunction rule. John is an artist and it is raining can be inferred via the conjunction rule. There is at least one x for which x is an artist can be inferred via the existential generalization rule.