premises
#ax_false_int_l_pl

line(1)
plane(2)
int_l_pl(1, 2)
~int_l_pl(1, 2)

conclusions



