premises
#th6

plane(1)
plane(2)
~eq_plane(1,2)
~int_pl_pl(1,2)
point(3)
inc_po_pl(3,1)

conclusions

~inc_po_pl(3,2)
