premises
#th22

line(1)
point(2)
~inc_po_l(2,1)
plane(3)
inc_l_pl(1,3)
inc_po_pl(2,3)
plane(4)
inc_l_pl(1,4)
inc_po_pl(2,4)

conclusions

eq_plane(3,4)
