premises
#ax_false_inc_po_pl

point(1)
plane(2)
inc_po_pl(1, 2)
~inc_po_pl(1, 2)

conclusions



