premises
#th_2_03

line(1)
point(2)
plane(3)
plane(4)
~inc_po_l(2, 1)
inc_po_pl(2, 3)
inc_l_pl(1, 3)
inc_po_pl(2, 4)
inc_l_pl(1, 4)
point(5)
point(6)
~eq_point(5, 6)
inc_po_l(5, 1)
inc_po_l(6, 1)
~col(2, 5, 6)

conclusions

inc_po_pl(2, 3)
inc_po_pl(5, 3)
inc_po_pl(6, 3)
inc_po_pl(2, 4)
inc_po_pl(5, 4)
inc_po_pl(6, 4)

