With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Lauren is brighter than Hugh. Lauren is brighter than Fred.
text_B: Among Hugh, Lauren and Fred the brightest is Hugh.
contradiction.