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