With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Harry is smaller than Victoria. Harry is smaller than Jerry.
text_B: Among Harry, Victoria and Jerry the smallest is Victoria.
contradiction.