With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Christopher is bitterer than Charlie. Christopher is bitterer than Anna.
text_B: Among Charlie, Anna and Christopher the bitterest is Anna.
contradiction.