premises
#ax_false_inc_po_l

point(1)
line(2)
inc_po_l(1, 2)
~inc_po_l(1, 2)

conclusions



