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