The Andoni-Naor-Neiman inequalities and isometric embeddability into a CAT (0) space

Andoni, Naor and Neiman (2018) established a family of quadratic metric inequalities that hold true in every CAT (0) space. As stated in their paper, this family seems to include all previously used quadratic metric inequalities that hold true in every CAT (0) space. We prove that there exists a metric space that satisfies all inequalities in this family but does not admit an isometric embedding into any CAT (0) space. More precisely, we prove that the 6-point metric spaces constructed by Nina Lebedeva, which are known to admit no isometric embedding into any CAT (0) space, satisfy all inequalities in this family.