premises
#th15

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

conclusions


point(4)
inc_po_l(4,1)
inc_po_l(4,2)
|
~int_l_l(1,2)
