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