premises
#ax_I3a_1

line(3)
point(1)
inc_po_l(1,3)

conclusions

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

