
premises
#sim_lemma_int_l_l_1

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

conclusions

int_l_l(2,1)

premises
#sim_lemma_nint_l_l_2

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

conclusions

~int_l_l(2,1)

premises
#sim_lemma_int_pl_pl_3

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

conclusions

int_pl_pl(2,1)

premises
#sim_lemma_nint_pl_pl_4

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

conclusions

~int_pl_pl(2,1)

premises
#sim_lemma_col_5

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

conclusions

col(2,3,1)

premises
#sim_lemma_ncol_6

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

conclusions

~col(2,3,1)

premises
#sim_lemma_col_7

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

conclusions

col(2,1,3)


premises
#sim_lemma_ncol_8

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

conclusions

~col(2,1,3)


premises
#sim_lemma_comp_9

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

conclusions

comp(2,3,4,1)

premises
#sim_lemma_ncomp_10

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

conclusions

~comp(2,3,4,1)

premises
#sim_lemma_comp_11

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

conclusions

comp(2,1,3,4)


premises
#sim_lemma_ncomp_12

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

conclusions

~comp(2,1,3,4)


premises
#sim_lemma_bet_13

point(1)
point(2)
point(3)
bet(1,2,3)

conclusions

bet(2,3,1)

premises
#sim_lemma_nbet_14

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

conclusions

~bet(2,3,1)

premises
#sim_lemma_bet_15

point(1)
point(2)
point(3)
bet(1,2,3)

conclusions

bet(2,1,3)


premises
#sim_lemma_nbet_16

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

conclusions

~bet(2,1,3)


premises
#sim_lemma_cong_17

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

conclusions

cong(2,3,4,1)

premises
#sim_lemma_ncong_18

point(1)
point(2)
point(3)
point(4)
~cong(1,2,3,4)

conclusions

~cong(2,3,4,1)

premises
#sim_lemma_cong_19

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

conclusions

cong(2,1,3,4)


premises
#sim_lemma_ncong_20

point(1)
point(2)
point(3)
point(4)
~cong(1,2,3,4)

conclusions

~cong(2,1,3,4)

