premises
#th10

line(1)
plane(2)

conclusions

inc_l_pl(1,2)
|
~inc_l_pl(1,2)
