\left( x,x+1\right) \in \phi \wedge \left( x+1,x+2\right) \in \phi \wedge \left( x,x+2\right) \notin \phi