% name: ax_I6
% exist: 0
% type: Nonproductive

premises

point PO1
point PO2
line LI3
plane PL4
~eq_point PO1 PO2
inc_po_l PO1 LI3
inc_po_l PO2 LI3
inc_po_pl PO1 PL4
inc_po_pl PO2 PL4

conclusions

inc_l_pl LI3 PL4

% name: ax_g1
% exist: 0
% type: Branching nonproductive

premises

point PO1
point PO2

conclusions

eq_point PO1 PO2
|
~eq_point PO1 PO2

% name: ax_g2
% exist: 0
% type: Branching nonproductive

premises

line LI1
line LI2

conclusions

eq_line LI1 LI2
|
~eq_line LI1 LI2

% name: ax_g3
% exist: 0
% type: Branching nonproductive

premises

plane PL1
plane PL2

conclusions

eq_plane PL1 PL2
|
~eq_plane PL1 PL2

