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