Second, current benchmarks for natural language inference (Bowman et al., 2015), do not include challenging examples with negation.
state-of-the-art approaches (Chen et al., 2017) trained on these benchmarks are unable to solve text-hypothesis pairs that contain negation.