premises
#ax_I3a

line(1)

conclusions

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

