With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: John went with Joseph to the party. Carl went with him to the match.
text_B: Carl went with John to the match.
contradiction.