With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Roger is funnier than Alfred. Roger is funnier than Charlie.
text_B: Among Alfred, Roger and Charlie the funniest is Alfred.
contradiction.