With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Frederick is bolder than Jack. Frederick is bolder than Jim.
text_B: Among Jack, Frederick and Jim the boldest is Jack.
contradiction.