! [A,B,C,L] : (point(A) & point(B) & A != B & line(L) & on(A,L) & on(B,L) & point(C) & cong(A,B,B,C) & cong(B,C,C,A))
(C!=A)
(C!=B)
(non(C,L))
