premises
#th17

plane(1)
plane(2)

conclusions

~int_pl_pl(1,2)
|
line(3)
inc_l_pl(3,1)
inc_l_pl(3,2)
