assume [A,B,C,L] : (point(A) & point(B) & point(C) & A = B & B != C & line(L) & inc_po_l(B,L) & inc_po_l(C,L))
goal (col(A,B,C))
infer goal
