premises
#ax_cut_2

point(2)
point(3)
line(1)
cut(1, 2, 3)

conclusions

point(4)
~inc_po_l(2, 1)
~inc_po_l(3, 1)
inc_po_l(4, 1)
bet(2, 4, 3)

