With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Julia is shorter than Lauren. Julia is shorter than Colin.
text_B: Among Julia, Lauren and Colin the shortest is Colin.
contradiction.