premises
# ax_col_132

point(1)
point(2)
point(3)
col(1,3,2)

conclusions

col(1,2,3)

premises
# ax_col_213

point(1)
point(2)
point(3)
col(2,1,3)

conclusions

col(1,2,3)

premises
# ax_col_231

point(1)
point(2)
point(3)
col(2,3,1)

conclusions

col(1,2,3)

premises
# ax_col_312

point(1)
point(2)
point(3)
col(3,1,2)

conclusions

col(1,2,3)

premises
# ax_col_321

point(1)
point(2)
point(3)
col(3,2,1)

conclusions

col(1,2,3)

premises
# ax_ncol_132

point(1)
point(2)
point(3)
~col(1,3,2)

conclusions

~col(1,2,3)

premises
# ax_ncol_213

point(1)
point(2)
point(3)
~col(2,1,3)

conclusions

~col(1,2,3)

premises
# ax_ncol_231

point(1)
point(2)
point(3)
~col(2,3,1)

conclusions

~col(1,2,3)

premises
# ax_ncol_312

point(1)
point(2)
point(3)
~col(3,1,2)

conclusions

~col(1,2,3)

premises
# ax_ncol_321

point(1)
point(2)
point(3)
~col(3,2,1)

conclusions

~col(1,2,3)

premises
# ax_int_l_l_21

line(1)
line(2)
int_l_l(2,1)

conclusions

int_l_l(1,2)

premises
# ax_nint_l_l_21

line(1)
line(2)
~int_l_l(2,1)

conclusions

~int_l_l(1,2)


premises
# ax_int_pl_pl_21

plane(1)
plane(2)
int_pl_pl(2,1)

conclusions

int_pl_pl(1,2)

premises
# ax_nint_pl_pl_21

plane(1)
plane(2)
~int_pl_pl(2,1)

conclusions

~int_pl_pl(1,2)


premises
# ax_comp_1243

point(1)
point(2)
point(3)
point(4)
comp(1,2,4,3)

conclusions

comp(1,2,3,4)


premises
# ax_comp_1324

point(1)
point(2)
point(3)
point(4)
comp(1,3,2,4)

conclusions

comp(1,2,3,4)

premises
# ax_comp_1342

point(1)
point(2)
point(3)
point(4)
comp(1,3,4,2)

conclusions

comp(1,2,3,4)

premises
# ax_comp_1423

point(1)
point(2)
point(3)
point(4)
comp(1,4,2,3)

conclusions

comp(1,2,3,4)

premises
# ax_comp_1432

point(1)
point(2)
point(3)
point(4)
comp(1,4,3,2)

conclusions

comp(1,2,3,4)

premises
# ax_comp_2134

point(1)
point(2)
point(3)
point(4)
comp(2,1,3,4)

conclusions

comp(1,2,3,4)

premises
# ax_comp_2143

point(1)
point(2)
point(3)
point(4)
comp(2,1,4,3)

conclusions

comp(1,2,3,4)

premises
# ax_comp_2314

point(1)
point(2)
point(3)
point(4)
comp(2,3,1,4)

conclusions

comp(1,2,3,4)

premises
# ax_comp_2341

point(1)
point(2)
point(3)
point(4)
comp(2,3,4,1)

conclusions

comp(1,2,3,4)

premises
# ax_comp_2413

point(1)
point(2)
point(3)
point(4)
comp(2,4,1,3)

conclusions

comp(1,2,3,4)

premises
# ax_comp_2431

point(1)
point(2)
point(3)
point(4)
comp(2,4,3,1)

conclusions

comp(1,2,3,4)

premises
# ax_comp_3124

point(1)
point(2)
point(3)
point(4)
comp(3,1,2,4)

conclusions

comp(1,2,3,4)

premises
# ax_comp_3142

point(1)
point(2)
point(3)
point(4)
comp(3,1,4,2)

conclusions

comp(1,2,3,4)

premises
# ax_comp_3214

point(1)
point(2)
point(3)
point(4)
comp(3,2,1,4)

conclusions

comp(1,2,3,4)

premises
# ax_comp_3241

point(1)
point(2)
point(3)
point(4)
comp(3,2,4,1)

conclusions

comp(1,2,3,4)

premises
# ax_comp_3412

point(1)
point(2)
point(3)
point(4)
comp(3,4,1,2)

conclusions

comp(1,2,3,4)

premises
# ax_comp_3421

point(1)
point(2)
point(3)
point(4)
comp(3,4,2,1)

conclusions

comp(1,2,3,4)

premises
# ax_comp_4123

point(1)
point(2)
point(3)
point(4)
comp(4,1,2,3)

conclusions

comp(1,2,3,4)

premises
# ax_comp_4132

point(1)
point(2)
point(3)
point(4)
comp(4,1,3,2)

conclusions

comp(1,2,3,4)

premises
# ax_comp_4213

point(1)
point(2)
point(3)
point(4)
comp(4,2,1,3)

conclusions

comp(1,2,3,4)

premises
# ax_comp_4231

point(1)
point(2)
point(3)
point(4)
comp(4,2,3,1)

conclusions

comp(1,2,3,4)

premises
# ax_comp_4312

point(1)
point(2)
point(3)
point(4)
comp(4,3,1,2)

conclusions

comp(1,2,3,4)

premises
# ax_comp_4321

point(1)
point(2)
point(3)
point(4)
comp(4,3,2,1)

conclusions

comp(1,2,3,4)
