premises
#th14

line(1)

conclusions

point(2)
~inc_po_l(2,1)
