With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Roger is to the right of Arthur. Charles is to the left of Arthur.
text_B: Roger is to the left of Charles.
contradiction.