With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Tim is curvier than Bruce. Tim is curvier than Ann.
text_B: Among Tim, Bruce and Ann the curviest is Tim.
entailment.