premises
#ax_branch_int_pl_pl

plane(1)
plane(2)
~eq_plane(1, 2)

conclusions

int_pl_pl(1, 2)

|
~int_pl_pl(1, 2)


