
premises
# TH_10
% for three points A, B and C for which it holds that point B is between
% points A and C, it holds that that point C is not between points A and B

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

conclusions

~bet(1,3,2)
