With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: To date, Muguruza has won five WTA singles titles – most significantly the 2016 French Open and the 2017 Wimbledon Championships– and five WTA doubles titles.
text_B: To date, Muguruza has won five WTA singles titles – most significantly the 2017 French Open and the 2017 Wimbledon Championships– and five WTA doubles titles.
contradiction.