premises
#th_6c_07

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

conclusions

inc_l_pl(1, 7)
inc_l_pl(2, 7)
inc_l_pl(3, 7)

