
premises
# TH_11
% for two distinct points there exists a point that is 
% lying between them

point(1)
point(2)
~eq_point(1,2)

conclusions

point(3)
bet(1,3,2)
