With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Amanda is chubbier than Ken. Ken is chubbier than Carolyn.
text_B: Ken is chubbier than Carolyn.
entailment.