With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Jason is gloomier than Jonathan. Jason is gloomier than Stephen.
text_B: Among Jonathan, Stephen and Jason the gloomiest is Jonathan.
contradiction.