With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Jason is meaner than Betty. Jason is meaner than Tim.
text_B: Among Betty, Jason and Tim the meanest is Tim.
contradiction.