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