With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Adam is cleverer than Gary. Adam is cleverer than Annie.
text_B: Among Gary, Adam and Annie the cleverest is Annie.
contradiction.