With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Alexandra is more tired than Ruth. Ann is more tired than Alexandra.
text_B: Ruth is more tired than Ann.
contradiction.