With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Matt is happier than William. William is happier than Marie.
text_B: Marie is happier than Matt.
contradiction.