fof(ax_branch_col,axiom,(![A,B,C]:((point(A)&point(B)&point(C)&A!=B&A!=C&B!=C)=>(col(A,B,C)|ncol(A,B,C))))).
