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