I've been reading about CAT(0) cube complexes and have come across an assertion about contacting hyperplanes that I can not figure out.
First, we say that two hyperplanes $V, W$ cross if there is a $2$-cube whose distinct midcubes are contained in $V, W$ respectively. Two hyperplanes, $V, W$ osculate if they do not cross and there exist distinct $1$-cubes dual to $V,W$ which share a vertex. We say two hyperplanes contact if they cross or osculate, which is if $N(V) \cap N(W) \neq \emptyset$. (Where $N(V)$ is the carrier of the hyperplane $V$.)
(These definitions are from Mark Hagen's paper, Weak Hyperbolicity of Cube Complexes and Quasi-Arboreal Groups https://arxiv.org/pdf/1101.5191.pdf )
This paper states two hyperplanes $V,W$ contact if and only if no other hyperplane $U$ separates $V$ and $W$. The same statement is in other papers and in Hagen's thesis he actually defines contact as the separating condition and states that it is equivalent to the definition above. So it seems that there should be a straightforward proof, but in discussions with other graduate students we have not uncovered it.
This question has risen in the context of understanding the proof that the contact graph of a CAT(0) cube complex is quasi-isometric to a tree. The scenario we are worried about is roughly sketched in this picture. The orange hyperplanes are not separated by the blue (or any other hyperplane) but do not contact.
Any thoughts would be appreciated, thanks!