With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Adam is slimmer than Sam. Adam is slimmer than Ruth.
text_B: Among Adam, Sam and Ruth the slimmest is Adam.
entailment.