
premises
#ax_int_l_l_21

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

conclusions

int_l_l(2,1)

premises
#ax_nint_l_l_21

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

conclusions

~int_l_l(2,1)

premises
#ax_int_pl_pl_21

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

conclusions

int_pl_pl(2,1)

premises
#ax_nint_pl_pl_21

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

conclusions

~int_pl_pl(2,1)

premises
#ax_col_312

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

conclusions

col(2,3,1)

premises
#ax_ncol_312

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

conclusions

~col(2,3,1)

premises
#ax_col_213

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

conclusions

col(2,1,3)


premises
#ax_ncol_213

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

conclusions

~col(2,1,3)


premises
#ax_comp_4123

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

conclusions

comp(2,3,4,1)

premises
#ax_comp_2134

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

conclusions

comp(2,1,3,4)



