fof(ax_false_cut,axiom,(![L,A,B]:((point(A)&point(B)&line(L)&cut(L,A,B)&ncut(L,A,B))=>$false))).
