What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is cold, then Thomas is playing tennis. If Karen drinks water, then it is cold. For all x_10, if x_10 plays tennis, then x_10 is an artist.
If Karen drinks water, then Thomas is playing tennis.