premises
#th12

conclusions

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