assume [A,B,C,P,Q,R] : (point(A) & point(B) & point(C) & point(P) & point(Q) & point(R) & ncol(A,B,C) & bet(B,P,C) & bet(C,Q,A) & bet(A,R,B))
have (ncol(P,Q,R))
