% name: ax_D1
% exist: 0
% type: Nonproductive

premises

point PO1
point PO2
point PO3
line LI4
inc_po_l PO1 LI4
inc_po_l PO2 LI4
inc_po_l PO3 LI4

conclusions

col PO1 PO2 PO3

% name: ax_D1a
% exist: 0
% type: Nonproductive

premises

point PO1
point PO2
~eq_point PO1 PO2
point PO3
line LI4
inc_po_l PO1 LI4
inc_po_l PO2 LI4
~inc_po_l PO3 LI4

conclusions

~col PO1 PO2 PO3

% name: ax_D3
% exist: 0
% type: Nonproductive

premises

point PO1
point PO2
point PO3
point PO4
plane PL5
inc_po_pl PO1 PL5
inc_po_pl PO2 PL5
inc_po_pl PO3 PL5
inc_po_pl PO4 PL5

conclusions

comp PO1 PO2 PO3 PO4

% name: ax_D3a
% exist: 0
% type: Nonproductive

premises

point PO1
point PO2
point PO3
~col PO1 PO2 PO3
point PO4
plane PL5
inc_po_pl PO1 PL5
inc_po_pl PO2 PL5
inc_po_pl PO3 PL5
~inc_po_pl PO4 PL5

conclusions

~comp PO1 PO2 PO3 PO4

% name: ax_D5
% exist: 0
% type: Nonproductive

premises

line LI1
line LI2
~eq_line LI1 LI2
point PO3
inc_po_l PO3 LI1
inc_po_l PO3 LI2

conclusions

int_l_l LI1 LI2

% name: ax_D7
% exist: 0
% type: Nonproductive

premises

plane PL1
plane PL2
~eq_plane PL1 PL2
point PO3
inc_po_pl PO3 PL1
inc_po_pl PO3 PL2

conclusions

int_pl_pl PL1 PL2

% name: ax_D9
% exist: 0
% type: Nonproductive

premises

line LI1
plane PL2
~inc_l_pl LI1 PL2
point PO3
inc_po_l PO3 LI1
inc_po_pl PO3 PL2

conclusions

int_l_pl LI1 PL2

% name: ax_D11
% exist: 0
% type: Nonproductive

premises

point PO1
line LI2
plane PL3
inc_l_pl LI2 PL3
inc_po_l PO1 LI2

conclusions

inc_po_pl PO1 PL3

% name: ax_D11b
% exist: 0
% type: Nonproductive

premises

point PO1
line LI2
plane PL3
inc_po_l PO1 LI2
~inc_po_pl PO1 PL3

conclusions

~inc_l_pl LI2 PL3

% name: ax_I2
% exist: 0
% type: Nonproductive

premises

point PO3
point PO4
~eq_point PO3 PO4
line LI1
inc_po_l PO3 LI1
inc_po_l PO4 LI1
line LI2
inc_po_l PO3 LI2
inc_po_l PO4 LI2

conclusions

eq_line LI1 LI2

% name: ax_I5
% exist: 0
% type: Nonproductive

premises

point PO3
point PO4
point PO5
~col PO3 PO4 PO5
plane PL1
inc_po_pl PO3 PL1
inc_po_pl PO4 PL1
inc_po_pl PO5 PL1
plane PL2
inc_po_pl PO3 PL2
inc_po_pl PO4 PL2
inc_po_pl PO5 PL2

conclusions

eq_plane PL1 PL2

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

premises

line LI2
point PO3
inc_po_l PO3 LI2
point PO4
~eq_point PO3 PO4
inc_po_l PO4 LI2
plane PL1
inc_po_pl PO3 PL1
inc_po_pl PO4 PL1

conclusions

inc_l_pl LI2 PL1

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

premises

line LI1
line LI2

conclusions

int_l_l LI1 LI2
|
~int_l_l LI1 LI2

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

premises

plane PL1
plane PL2

conclusions

int_pl_pl PL1 PL2
|
~int_pl_pl PL1 PL2

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

premises

line LI1
plane PL2

conclusions

int_l_pl LI1 PL2
|
~int_l_pl LI1 PL2

% 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

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

premises

point PO1
line LI2

conclusions

inc_po_l PO1 LI2
|
~inc_po_l PO1 LI2

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

premises

point PO1
plane PL2

conclusions

inc_po_pl PO1 PL2
|
~inc_po_pl PO1 PL2

% name: ax_D2
% exist: 1
% type: Productive

premises

point PO1
point PO2
point PO3
col PO1 PO2 PO3

conclusions

line LI4
inc_po_l PO1 LI4
inc_po_l PO2 LI4
inc_po_l PO3 LI4

% name: ax_D4
% exist: 1
% type: Productive

premises

point PO1
point PO2
point PO3
point PO4
comp PO1 PO2 PO3 PO4

conclusions

plane PL5
inc_po_pl PO1 PL5
inc_po_pl PO2 PL5
inc_po_pl PO3 PL5
inc_po_pl PO4 PL5

% name: ax_D6
% exist: 1
% type: Productive

premises

line LI1
line LI2
int_l_l LI1 LI2

conclusions

point PO3
inc_po_l PO3 LI1
inc_po_l PO3 LI2
~eq_line LI1 LI2

% name: ax_D8
% exist: 1
% type: Productive

premises

plane PL1
plane PL2
int_pl_pl PL1 PL2

conclusions

point PO3
inc_po_pl PO3 PL1
inc_po_pl PO3 PL2
~eq_plane PL1 PL2

% name: ax_D10
% exist: 1
% type: Productive

premises

line LI1
plane PL2
int_l_pl LI1 PL2

conclusions

point PO3
inc_po_l PO3 LI1
inc_po_pl PO3 PL2
~inc_l_pl LI1 PL2

% name: ax_I1
% exist: 1
% type: Productive

premises

point PO1
point PO2
~eq_point PO1 PO2

conclusions

line LI3
inc_po_l PO1 LI3
inc_po_l PO2 LI3

% name: ax_I3a
% exist: 2
% type: Productive

premises

line LI3

conclusions

point PO1
inc_po_l PO1 LI3
point PO2
~eq_point PO1 PO2
inc_po_l PO2 LI3

% name: ax_I4a
% exist: 1
% type: Productive

premises

point PO1
point PO2
point PO3
~col PO1 PO2 PO3

conclusions

plane PL4
inc_po_pl PO1 PL4
inc_po_pl PO2 PL4
inc_po_pl PO3 PL4

% name: ax_I4b
% exist: 1
% type: Productive

premises

plane PL1

conclusions

point PO2
inc_po_pl PO2 PL1

% name: ax_I7
% exist: 1
% type: Productive

premises

plane PL1
plane PL2
~eq_plane PL1 PL2
point PO3
inc_po_pl PO3 PL1
inc_po_pl PO3 PL2

conclusions

point PO4
~eq_point PO3 PO4
inc_po_pl PO4 PL1
inc_po_pl PO4 PL2

% name: ax_ml_I3a_1
% exist: 1
% type: Superproductive

premises

line LI3
point PO1
inc_po_l PO1 LI3

conclusions

point PO2
~eq_point PO1 PO2
inc_po_l PO2 LI3

% name: ax_ml_I3b_1
% exist: 2
% type: Superproductive

premises

point PO1

conclusions

point PO2
point PO3
~col PO1 PO2 PO3

% name: ax_I3b
% exist: 3
% type: Superproductive

premises


conclusions

point PO1
point PO2
point PO3
~col PO1 PO2 PO3

% name: ax_I8
% exist: 4
% type: Superproductive

premises


conclusions

point PO1
point PO2
point PO3
point PO4
~comp PO1 PO2 PO3 PO4

