With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Karen is to the left of Kim. John is to the right of Kim.
text_B: Karen is in between Kim and John.
contradiction.