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