With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Overall Evert won 157 singles championships and 32 doubles titles.
text_B: Overall Evert won 158 singles championships and 32 doubles titles.
contradiction.