With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Janet is prettier than Charles. Janet is prettier than Laura.
text_B: Among Charles, Janet and Laura the prettiest is Charles.
contradiction.