premises
#ax_I4b

plane(1)

conclusions

point(2)
inc_po_pl(2, 1)

