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

premises

point PO1
point PO2
point PO3
~eq_point PO1 PO2
~eq_point PO1 PO3
~eq_point PO2 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
~eq_point PO1 PO2
~eq_point PO1 PO3
~eq_point PO1 PO4
~eq_point PO2 PO3
~eq_point PO2 PO4
~eq_point PO3 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
point PO3
inc_po_l PO3 LI1
inc_po_pl PO3 PL2
~inc_l_pl LI1 PL2

conclusions

int_l_pl LI1 PL2

% name: ax_N1
% exist: 0
% type: Nonproductive

premises

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

conclusions

inc_po_pl PO1 PL3

% name: ax_N2_2
% exist: 0
% type: Nonproductive

premises

point PO1
line LI2
plane PL3
~inc_po_l PO1 LI2
inc_po_pl PO1 PL3
inc_l_pl LI2 PL3
line LI4
inc_po_l PO1 LI4
inc_l_pl LI4 PL3
~int_l_l LI2 LI4
line LI5
inc_po_l PO1 LI5
inc_l_pl LI5 PL3
~int_l_l LI2 LI5

conclusions

eq_line LI4 LI5

% name: ax_N3
% exist: 0
% type: Nonproductive

premises

point PO1
point PO2
point PO3
point PO4
cong PO1 PO2 PO3 PO4
eq_point PO1 PO2

conclusions

eq_point PO3 PO4

% name: ax_N4
% exist: 0
% type: Nonproductive

premises

point PO1
point PO2
point PO3
point PO4
cong PO1 PO2 PO3 PO4
point PO5
point PO6
cong PO1 PO2 PO5 PO6

conclusions

cong PO3 PO4 PO5 PO6

% name: ax_N5
% exist: 0
% type: Nonproductive

premises

point PO1
point PO2
point PO3
bet PO1 PO3 PO2
point PO4
point PO5
point PO6
bet PO4 PO6 PO5
cong PO1 PO3 PO4 PO6
cong PO2 PO3 PO5 PO6

conclusions

cong PO1 PO2 PO4 PO5

% name: ax_N6
% exist: 0
% type: Nonproductive

premises

point PO1
point PO2
point PO3
bet PO1 PO2 PO3

conclusions

col PO1 PO2 PO3
~eq_point PO1 PO2
~eq_point PO1 PO3
~eq_point PO2 PO3

% name: ax_N7
% exist: 0
% type: Nonproductive

premises

point PO1
point PO2
point PO3
bet PO1 PO2 PO3

conclusions

bet PO3 PO2 PO1

% name: ax_N8
% exist: 0
% type: Nonproductive

premises

point PO1
point PO2
point PO3
bet PO1 PO2 PO3

conclusions

~bet PO1 PO3 PO2

% name: ax_N9
% exist: 0
% type: Nonproductive

premises

point PO1
point PO2

conclusions

cong PO1 PO2 PO2 PO1

% name: ax_N10
% exist: 0
% type: Nonproductive

premises

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

conclusions

eq_line LI1 LI2

% name: ax_N11
% exist: 0
% type: Nonproductive

premises

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

conclusions

eq_plane PL1 PL2

% name: ax_N12
% exist: 0
% type: Nonproductive

premises

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

conclusions

inc_l_pl LI2 PL1

% name: ax_P3
% exist: 0
% type: Nonproductive

premises

point PO1
point PO2
point PO3
point PO4
point PO5
point PO6
~col PO1 PO2 PO3
~col PO4 PO5 PO6
line LI7
line LI8
inc_po_l PO1 LI7
inc_po_l PO2 LI7
inc_po_l PO4 LI8
inc_po_l PO5 LI8
point PO9
point PO10
inc_po_l PO9 LI7
inc_po_l PO10 LI8
cong PO1 PO2 PO4 PO5
cong PO2 PO3 PO5 PO6
cong PO3 PO1 PO6 PO4
cong PO2 PO9 PO5 PO10

conclusions

cong PO1 PO9 PO4 PO10

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

premises

point PO1
point PO2
~eq_point PO1 PO2
point PO3
~eq_point PO1 PO3
~eq_point PO2 PO3
col PO1 PO2 PO3

conclusions

bet PO1 PO2 PO3
|
bet PO2 PO3 PO1
|
bet PO3 PO1 PO2

% 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_N2_1
% exist: 1
% type: Productive

premises

point PO1
line LI2
plane PL4
~inc_po_l PO1 LI2
inc_po_pl PO1 PL4
inc_l_pl LI2 PL4

conclusions

line LI3
inc_po_l PO1 LI3
inc_l_pl LI3 PL4
~int_l_l LI3 LI2

% name: ax_P1
% exist: 2
% type: Productive

premises

point PO1
point PO2
point PO3
~col PO1 PO2 PO3
point PO4
point PO5
plane PL8
inc_po_pl PO4 PL8
inc_po_pl PO5 PL8
cong PO1 PO2 PO4 PO5

conclusions

point PO6
point PO7
inc_po_pl PO6 PL8
inc_po_pl PO7 PL8
cong PO1 PO3 PO4 PO6
cong PO1 PO3 PO4 PO7
cong PO2 PO3 PO5 PO6
cong PO2 PO3 PO5 PO7

% name: ax_P2
% exist: 1
% type: Productive

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
~eq_point PO1 PO2
line LI6
inc_po_l PO1 LI6
inc_po_l PO2 LI6
~eq_point PO3 PO4
~inc_po_l PO3 LI6
~inc_po_l PO4 LI6
cong PO1 PO3 PO1 PO4
cong PO2 PO3 PO2 PO4

conclusions

point PO7
inc_po_l PO7 LI6
bet PO3 PO7 PO4

% name: ax_P4
% 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_P5
% exist: 1
% type: Productive

premises

point PO1
point PO2
~eq_point PO1 PO2

conclusions

line LI1
inc_po_l PO1 LI1
inc_po_l PO2 LI1

% name: ax_P6
% 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_P7_a
% exist: 1
% type: Productive

premises

line LI1
point PO2
inc_po_l PO2 LI1

conclusions

point PO3
~eq_point PO2 PO3
inc_po_l PO3 LI1

% name: ax_P7
% exist: 2
% type: Productive

premises

line LI1

conclusions

point PO2
inc_po_l PO2 LI1
point PO3
~eq_point PO2 PO3
inc_po_l PO3 LI1

% name: ax_P8_a
% exist: 1
% type: Productive

premises

plane PL4
point PO1
inc_po_pl PO1 PL4
point PO2
inc_po_pl PO2 PL4

conclusions

point PO3
inc_po_pl PO3 PL4
~col PO1 PO2 PO3

% name: ax_P8_b
% exist: 2
% type: Productive

premises

plane PL4
point PO1
inc_po_pl PO1 PL4

conclusions

point PO2
inc_po_pl PO2 PL4
point PO3
inc_po_pl PO3 PL4
~col PO1 PO2 PO3

% name: ax_P8
% exist: 3
% type: Productive

premises

plane PL4

conclusions

point PO1
inc_po_pl PO1 PL4
point PO2
inc_po_pl PO2 PL4
point PO3
inc_po_pl PO3 PL4
~col PO1 PO2 PO3

% name: ax_P9
% exist: 1
% type: Productive

premises

point PO1
point PO2
~eq_point PO1 PO2

conclusions

point PO3
bet PO1 PO2 PO3

% name: ax_P10
% exist: 2
% type: Productive

premises

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

conclusions

point PO5
point PO6
inc_po_l PO5 LI4
inc_po_l PO6 LI4
cong PO1 PO2 PO3 PO5
cong PO1 PO2 PO3 PO6
bet PO5 PO3 PO6

% name: ax_SP1_a
% exist: 1
% type: Productive

premises

point PO1
point PO2
point PO3
~col PO1 PO2 PO3

conclusions

point PO4
~comp PO1 PO2 PO3 PO4

% name: ax_SP1_b
% exist: 2
% type: Productive

premises

point PO1
point PO2

conclusions

point PO3
point PO4
~comp PO1 PO2 PO3 PO4

% name: ax_SP1_c
% exist: 3
% type: Productive

premises

point PO1

conclusions

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

% name: ax_G2
% exist: 1
% type: Branching productive

premises

point PO1
point PO2
point PO3
~col PO1 PO2 PO3
plane PL4
inc_po_pl PO1 PL4
inc_po_pl PO2 PL4
inc_po_pl PO3 PL4
line LI5
inc_l_pl LI5 PL4
~inc_po_l PO1 LI5
point PO6
inc_po_l PO6 LI5
bet PO2 PO6 PO3

conclusions

point PO7
inc_po_l PO7 LI5
bet PO3 PO7 PO1
|
point PO7
inc_po_l PO7 LI5
bet PO1 PO7 PO2

% name: ax_SP1
% exist: 4
% type: Superproductive

premises


conclusions

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

