premises
#ax_branch_inc_po_l

point(1)
line(2)

conclusions

inc_po_l(1, 2)

|
~inc_po_l(1, 2)


