assume [A,B,C] : (point(A) & point(B) & point(C) & col(A,B,C) & ncol(A,B,C))
infer ($false)
