With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Gary is to the left of Kathleen. Tim is to the right of Kathleen.
text_B: Tim is to the left of Gary.
contradiction.