fof(ax_false_pash,axiom,(![A,B,C,L,P]:((point(A)&point(B)&point(C)&line(L)&plane(P)&pash(A,B,C,L,P)&npash(A,B,C,L,P))=>$false))).
