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