premises
#th_1n_01

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

conclusions

plane(3)
inc_po_pl(2, 3)
inc_l_pl(1, 3)

