premises
#ax_sym_nint_l_l

line(1)
line(2)
~int_l_l(1, 2)

conclusions

~int_l_l(2, 1)

