premises
#ax_false_inc_l_pl

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

conclusions



