premises
# th9

point(1)
point(2)
point(3)
point(4)
comp(1,2,3,4)
~col(1,2,3)
plane(5)
inc_po_pl(1,5)
inc_po_pl(2,5)
inc_po_pl(3,5)

conclusions

inc_po_pl(4,5)
