With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Frances is lazier than Tony. Frances is lazier than Jean.
text_B: Among Frances, Tony and Jean the laziest is Frances.
entailment.