With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Nick is fatter than Jason. Lucy is fatter than Jason.
text_B: Among Jason, Nick and Lucy the fattest is Lucy.
neutral.