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