With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Steve is bigger than Virginia. Virginia is bigger than Ann.
text_B: Ann is bigger than Steve.
contradiction.