With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Henry is more clever than Jimmy. Matthew is more clever than Henry.
text_B: Jimmy is more clever than Matthew.
contradiction.