Definition ColB A B C := ~ (~ T C A B /\ ~ T A C B /\ ~ T A B C).

Lemma five_segment_B : forall A A' B B' C C' D D' : Tpoint,
Cong A B A' B' ->
Cong B C B' C' ->
Cong A D A' D' ->
Cong B D B' D' ->
~ (A <> B /\ B <> C /\ ~ BetH A B C) ->
~ (A' <> B' /\ B' <> C' /\ ~ BetH A' B' C') ->
A <> B -> Cong C D C' D'.