premises
#ax_false_int_l_l

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

conclusions



