With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Andrea is longer than Gary. Gary is longer than Alfred.
text_B: Alfred is longer than Andrea.
contradiction.