premises
#ax_branch_int_l_l

line(1)
line(2)
~eq_line(1, 2)

conclusions

int_l_l(1, 2)

|
~int_l_l(1, 2)


