premises
#th_6_01

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)

conclusions

~eq_point(4, 5)
~eq_point(5, 6)
~eq_point(6, 4)

