The cow is round. The cow needs the lion. The cow needs the rabbit. The cow sees the lion. The cow visits the rabbit. The lion is round. The rabbit is kind. The rabbit visits the tiger. The tiger is big. The tiger is kind. The tiger sees the rabbit. The tiger visits the rabbit. If something is kind and it visits the rabbit then it is young. If something sees the tiger and it visits the lion then it sees the rabbit. If something is big and young then it sees the lion. If something visits the rabbit then the rabbit needs the lion. If something is big then it visits the rabbit. If something sees the tiger then it is rough. If something visits the rabbit and it is kind then the rabbit needs the lion. If something is rough and kind then it visits the lion. If something needs the lion then it is big.
The cow is round.
("cow" "is" "round" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The lion is round.
("lion" "is" "round" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If something is kind and it visits the rabbit then it is young.
((("something" "is" "kind" "+") ("something" "visits" "rabbit" "+")) -> ("something" "is" "young" "+"))
If something sees the tiger and it visits the lion then it sees the rabbit.
((("something" "sees" "tiger" "+") ("something" "visits" "lion" "+")) -> ("something" "sees" "rabbit" "+"))
If something is big and young then it sees the lion.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "sees" "lion" "+"))
If something visits the rabbit then the rabbit needs the lion.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "needs" "lion" "+"))
If something is big then it visits the rabbit.
((("something" "is" "big" "+")) -> ("something" "visits" "rabbit" "+"))
If something sees the tiger then it is rough.
((("something" "sees" "tiger" "+")) -> ("something" "is" "rough" "+"))
If something visits the rabbit and it is kind then the rabbit needs the lion.
((("something" "visits" "rabbit" "+") ("something" "is" "kind" "+")) -> ("rabbit" "needs" "lion" "+"))
If something is rough and kind then it visits the lion.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "visits" "lion" "+"))
If something needs the lion then it is big.
((("something" "needs" "lion" "+")) -> ("something" "is" "big" "+"))
The tiger visits the rabbit.
True
1
proof
[(triple12 OR ((triple9) -> rule5))]
("tiger" "visits" "rabbit" "+")
triple12
((triple9) -> (rule5 % int1))
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int1
The cow does not need the rabbit.
False
1
inv-proof
[(triple3)]
("cow" "needs" "rabbit" "-")
triple3
The tiger is young.
True
3
proof
[(((triple10 triple12) -> rule1) OR ((triple10 ((triple9) -> rule5)) -> rule1))]
("tiger" "is" "young" "+")
((triple10 triple12) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
((triple10 ((triple9) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int2
The rabbit does not need the lion.
False
2
inv-proof
[(((triple12) -> rule4) OR ((triple5) -> rule4) OR ((triple12 triple10) -> rule7) OR ((((triple9) -> rule5)) -> rule4) OR ((((triple9) -> rule5) triple10) -> rule7) OR ((((((triple2) -> rule9)) -> rule5)) -> rule4))]
("rabbit" "needs" "lion" "-")
((triple12) -> (rule4 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
((triple5) -> (rule4 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
((triple12 triple10) -> (rule7 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
((((triple9) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int2
((((triple9) -> (rule5 % int2)) triple10) -> (rule7 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int2
((((((triple2) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The tiger sees the lion.
True
5
proof
[(((triple9 ((triple10 triple12) -> rule1)) -> rule3) OR ((triple9 ((triple10 ((triple9) -> rule5)) -> rule1)) -> rule3))]
("tiger" "sees" "lion" "+")
((triple9 ((triple10 triple12) -> (rule1 % int2))) -> (rule3 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
((triple9 ((triple10 ((triple9) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int3
The tiger does not see the lion.
False
5
inv-proof
[(((triple9 ((triple10 triple12) -> rule1)) -> rule3) OR ((triple9 ((triple10 ((triple9) -> rule5)) -> rule1)) -> rule3))]
("tiger" "sees" "lion" "-")
((triple9 ((triple10 triple12) -> (rule1 % int2))) -> (rule3 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
((triple9 ((triple10 ((triple9) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int3
The rabbit visits the rabbit.
True
4
proof
[(((((((triple12) -> rule4)) -> rule9)) -> rule5) OR ((((((triple5) -> rule4)) -> rule9)) -> rule5) OR ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5))]
("rabbit" "visits" "rabbit" "+")
((((((triple12) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
((((((triple5) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
((((((triple12 triple10) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
((((((((triple9) -> (rule5 % int4)) triple10) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
((((((((((triple2) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The rabbit does not visit the rabbit.
False
4
inv-proof
[(((((((triple12) -> rule4)) -> rule9)) -> rule5) OR ((((((triple5) -> rule4)) -> rule9)) -> rule5) OR ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5))]
("rabbit" "visits" "rabbit" "-")
((((((triple12) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
((((((triple5) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
((((((triple12 triple10) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
((((((((triple9) -> (rule5 % int4)) triple10) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
((((((((((triple2) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The rabbit is young.
True
6
proof
[(((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1) OR ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1) OR ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1) OR ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1) OR ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1) OR ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1))]
("rabbit" "is" "young" "+")
((triple7 ((((((triple12) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
((triple7 ((((((triple5) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
((triple7 ((((((triple12 triple10) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
((triple7 ((((((((triple9) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int5
((triple7 ((((((((triple9) -> (rule5 % int5)) triple10) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int5
((triple7 ((((((((((triple2) -> (rule9 % int6))) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int5
The cow is big.
("cow" "is" "big" "+")
int6
The rabbit is not young.
False
6
inv-proof
[(((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1) OR ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1) OR ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1) OR ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1) OR ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1) OR ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1))]
("rabbit" "is" "young" "-")
((triple7 ((((((triple12) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
((triple7 ((((((triple5) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
((triple7 ((((((triple12 triple10) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
((triple7 ((((((((triple9) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int5
((triple7 ((((((((triple9) -> (rule5 % int5)) triple10) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int5
((triple7 ((((((((((triple2) -> (rule9 % int6))) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int5
The cow is big.
("cow" "is" "big" "+")
int6
The rabbit sees the lion.
True
10
proof
[(((((((triple12) -> rule4)) -> rule9) ((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule4)) -> rule9) ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule4)) -> rule9) ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule4)) -> rule9) ((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule4)) -> rule9) ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule4)) -> rule9) ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule9) ((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule9) ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule9) ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) ((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule9) ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule9) ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule4)) -> rule9) ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule4)) -> rule9) ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule9) ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3))]
("rabbit" "sees" "lion" "+")
((((((triple12) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple12) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple12) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((((triple2) -> (rule9 % int7))) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int6
The cow is big.
("cow" "is" "big" "+")
int7
((((((((((triple2) -> (rule9 % int7))) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int6
The cow is big.
("cow" "is" "big" "+")
int7
((((((((((triple2) -> (rule9 % int7))) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int6
The cow is big.
("cow" "is" "big" "+")
int7
((((((triple12) -> (rule4 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4))) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
((((((triple12) -> (rule4 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4)) triple10) -> (rule7 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
((((((triple5) -> (rule4 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4))) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
((((((triple5) -> (rule4 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4)) triple10) -> (rule7 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
((((((triple12 triple10) -> (rule7 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4))) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
((((((triple12 triple10) -> (rule7 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4)) triple10) -> (rule7 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((((triple2) -> (rule9 % int8))) -> (rule5 % int7))) -> (rule4 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4))) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int7
The cow is big.
("cow" "is" "big" "+")
int8
((((((((((triple2) -> (rule9 % int8))) -> (rule5 % int7))) -> (rule4 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4)) triple10) -> (rule7 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int7
The cow is big.
("cow" "is" "big" "+")
int8
((((((triple12) -> (rule4 % int7))) -> (rule9 % int6)) ((triple7 ((((((((((triple2) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int7))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The rabbit is big.
("rabbit" "is" "big" "+")
int6
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int7
((((((triple5) -> (rule4 % int7))) -> (rule9 % int6)) ((triple7 ((((((((((triple2) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int7))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The rabbit is big.
("rabbit" "is" "big" "+")
int6
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int7
((((((triple12 triple10) -> (rule7 % int7))) -> (rule9 % int6)) ((triple7 ((((((((((triple2) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int7))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The rabbit is big.
("rabbit" "is" "big" "+")
int6
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int7
((((((((triple9) -> (rule5 % int8))) -> (rule4 % int7))) -> (rule9 % int6)) ((triple7 ((((((((((triple2) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int7))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The rabbit is big.
("rabbit" "is" "big" "+")
int6
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int7
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int8
((((((((triple9) -> (rule5 % int8)) triple10) -> (rule7 % int7))) -> (rule9 % int6)) ((triple7 ((((((((((triple2) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int7))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The rabbit is big.
("rabbit" "is" "big" "+")
int6
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int7
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int8
((((((((((triple2) -> (rule9 % int7))) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((((((triple2) -> (rule9 % int7))) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int6
The cow is big.
("cow" "is" "big" "+")
int7
The rabbit does not see the lion.
False
10
inv-proof
[(((((((triple12) -> rule4)) -> rule9) ((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule4)) -> rule9) ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule4)) -> rule9) ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule4)) -> rule9) ((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule4)) -> rule9) ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule4)) -> rule9) ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule9) ((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule9) ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule9) ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) ((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule9) ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule9) ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule4)) -> rule9) ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule4)) -> rule9) ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule9) ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3))]
("rabbit" "sees" "lion" "-")
((((((triple12) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple12) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple12) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((((triple2) -> (rule9 % int7))) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int6
The cow is big.
("cow" "is" "big" "+")
int7
((((((((((triple2) -> (rule9 % int7))) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int6
The cow is big.
("cow" "is" "big" "+")
int7
((((((((((triple2) -> (rule9 % int7))) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int6
The cow is big.
("cow" "is" "big" "+")
int7
((((((triple12) -> (rule4 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4))) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
((((((triple12) -> (rule4 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4)) triple10) -> (rule7 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
((((((triple5) -> (rule4 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4))) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
((((((triple5) -> (rule4 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4)) triple10) -> (rule7 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
((((((triple12 triple10) -> (rule7 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4))) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
((((((triple12 triple10) -> (rule7 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4)) triple10) -> (rule7 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((((triple2) -> (rule9 % int8))) -> (rule5 % int7))) -> (rule4 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4))) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int7
The cow is big.
("cow" "is" "big" "+")
int8
((((((((((triple2) -> (rule9 % int8))) -> (rule5 % int7))) -> (rule4 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4)) triple10) -> (rule7 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int7
The cow is big.
("cow" "is" "big" "+")
int8
((((((triple12) -> (rule4 % int7))) -> (rule9 % int6)) ((triple7 ((((((((((triple2) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int7))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The rabbit is big.
("rabbit" "is" "big" "+")
int6
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int7
((((((triple5) -> (rule4 % int7))) -> (rule9 % int6)) ((triple7 ((((((((((triple2) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int7))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The rabbit is big.
("rabbit" "is" "big" "+")
int6
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int7
((((((triple12 triple10) -> (rule7 % int7))) -> (rule9 % int6)) ((triple7 ((((((((((triple2) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int7))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The rabbit is big.
("rabbit" "is" "big" "+")
int6
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int7
((((((((triple9) -> (rule5 % int8))) -> (rule4 % int7))) -> (rule9 % int6)) ((triple7 ((((((((((triple2) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int7))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The rabbit is big.
("rabbit" "is" "big" "+")
int6
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int7
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int8
((((((((triple9) -> (rule5 % int8)) triple10) -> (rule7 % int7))) -> (rule9 % int6)) ((triple7 ((((((((((triple2) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int7))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The rabbit is big.
("rabbit" "is" "big" "+")
int6
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int7
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int8
((((((((((triple2) -> (rule9 % int7))) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((((((triple2) -> (rule9 % int7))) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int6
The cow is big.
("cow" "is" "big" "+")
int7
The cow is not rough.
Unknown
inv-rconc
[@1: The cow is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "rough" "-")
The tiger is rough.
Unknown
rconc
[@1: The tiger is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "is" "rough" "+")
The rabbit does not visit the lion.
Unknown
inv-rconc
[@2: The rabbit visits the lion.[CWA. Example of deepest failure = (rule8 <- rule6 <- FAIL)]]
("rabbit" "visits" "lion" "-")
The tiger visits the lion.
Unknown
rconc
[@2: The tiger visits the lion.[CWA. Example of deepest failure = (rule8 <- rule6 <- FAIL)]]
("tiger" "visits" "lion" "+")
The lion is not rough.
Unknown
inv-rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "is" "rough" "-")
The cow visits the lion.
Unknown
rconc
[@1: The cow visits the lion.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "visits" "lion" "+")
The tiger does not need the lion.
Unknown
inv-random
[@0: The tiger needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "lion" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
The lion does not visit the cow.
Unknown
inv-random
[@0: The lion visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "cow" "-")
The lion needs the cow.
Unknown
random
[@0: The lion needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "cow" "+")
The cow does not see the tiger.
Unknown
inv-random
[@0: The cow sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "tiger" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The cow is round.[(triple1)] The cow needs the lion.[(triple2)] The cow needs the rabbit.[(triple3)] The cow sees the lion.[(triple4)] The cow visits the rabbit.[(triple5 OR ((((triple2) -> rule9)) -> rule5))] The lion is round.[(triple6)] The rabbit is kind.[(triple7)] The rabbit visits the tiger.[(triple8)] The tiger is big.[(triple9)] The tiger is kind.[(triple10)] The tiger sees the rabbit.[(triple11)] The tiger visits the rabbit.[(triple12 OR ((triple9) -> rule5))] @1: The cow is big.[(((triple2) -> rule9))] The rabbit needs the lion.[(((triple12) -> rule4) OR ((triple5) -> rule4) OR ((triple12 triple10) -> rule7) OR ((((triple9) -> rule5)) -> rule4) OR ((((triple9) -> rule5) triple10) -> rule7) OR ((((((triple2) -> rule9)) -> rule5)) -> rule4))] The tiger is young.[(((triple10 triple12) -> rule1) OR ((triple10 ((triple9) -> rule5)) -> rule1))] @2: The rabbit is big.[(((((triple12) -> rule4)) -> rule9) OR ((((triple5) -> rule4)) -> rule9) OR ((((triple12 triple10) -> rule7)) -> rule9) OR ((((((triple9) -> rule5)) -> rule4)) -> rule9) OR ((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) OR ((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9))] The tiger sees the lion.[(((triple9 ((triple10 triple12) -> rule1)) -> rule3) OR ((triple9 ((triple10 ((triple9) -> rule5)) -> rule1)) -> rule3))] @3: The rabbit visits the rabbit.[(((((((triple12) -> rule4)) -> rule9)) -> rule5) OR ((((((triple5) -> rule4)) -> rule9)) -> rule5) OR ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5))] @4: The rabbit is young.[(((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1) OR ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1) OR ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1) OR ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1) OR ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1) OR ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1))] @5: The rabbit sees the lion.[(((((((triple12) -> rule4)) -> rule9) ((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule4)) -> rule9) ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule4)) -> rule9) ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule4)) -> rule9) ((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule4)) -> rule9) ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule4)) -> rule9) ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule9) ((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule9) ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule9) ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) ((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((triple12) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((triple12 triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule9) ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule9) ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule4)) -> rule9) ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule4)) -> rule9) ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule9) ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule5) triple10) -> rule7)) -> rule9) ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9) ((triple7 ((((((((((triple2) -> rule9)) -> rule5)) -> rule4)) -> rule9)) -> rule5)) -> rule1)) -> rule3))]
The cow is round.
("cow" "is" "round" "+")
triple1
The cow needs the lion.
("cow" "needs" "lion" "+")
triple2
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple3
The cow sees the lion.
("cow" "sees" "lion" "+")
triple4
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple5
((((triple2) -> (rule9 % int2))) -> (rule5 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The lion is round.
("lion" "is" "round" "+")
triple6
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple7
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple8
The tiger is big.
("tiger" "is" "big" "+")
triple9
The tiger is kind.
("tiger" "is" "kind" "+")
triple10
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple11
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple12
((triple9) -> (rule5 % int1))
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int1
The cow is big.
("cow" "is" "big" "+")
((triple2) -> (rule9 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
((triple12) -> (rule4 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
((triple5) -> (rule4 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
((triple12 triple10) -> (rule7 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
((((triple9) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int2
((((triple9) -> (rule5 % int2)) triple10) -> (rule7 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int2
((((((triple2) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
((triple10 triple12) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
((triple10 ((triple9) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
((((triple12) -> (rule4 % int2))) -> (rule9 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int2
((((triple5) -> (rule4 % int2))) -> (rule9 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int2
((((triple12 triple10) -> (rule7 % int2))) -> (rule9 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int2
((((((triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int2
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int3
((((((triple9) -> (rule5 % int3)) triple10) -> (rule7 % int2))) -> (rule9 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int2
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int3
((((((((triple2) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int2
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
The tiger sees the lion.
("tiger" "sees" "lion" "+")
((triple9 ((triple10 triple12) -> (rule1 % int2))) -> (rule3 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
((triple9 ((triple10 ((triple9) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((((((triple12) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
((((((triple5) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
((((((triple12 triple10) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
((((((((triple9) -> (rule5 % int4)) triple10) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
((((((((((triple2) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The rabbit is young.
("rabbit" "is" "young" "+")
((triple7 ((((((triple12) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
((triple7 ((((((triple5) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
((triple7 ((((((triple12 triple10) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
((triple7 ((((((((triple9) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int5
((triple7 ((((((((triple9) -> (rule5 % int5)) triple10) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int5
((triple7 ((((((((((triple2) -> (rule9 % int6))) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int5
The cow is big.
("cow" "is" "big" "+")
int6
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
((((((triple12) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple12) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple12) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((((triple2) -> (rule9 % int7))) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int6
The cow is big.
("cow" "is" "big" "+")
int7
((((((((((triple2) -> (rule9 % int7))) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int6
The cow is big.
("cow" "is" "big" "+")
int7
((((((((((triple2) -> (rule9 % int7))) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((triple12 triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int6
The cow is big.
("cow" "is" "big" "+")
int7
((((((triple12) -> (rule4 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4))) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
((((((triple12) -> (rule4 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4)) triple10) -> (rule7 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
((((((triple5) -> (rule4 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4))) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
((((((triple5) -> (rule4 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4)) triple10) -> (rule7 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
((((((triple12 triple10) -> (rule7 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4))) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
((((((triple12 triple10) -> (rule7 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4)) triple10) -> (rule7 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((triple7 ((((((((triple9) -> (rule5 % int6)) triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int6
((((((((((triple2) -> (rule9 % int8))) -> (rule5 % int7))) -> (rule4 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4))) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int7
The cow is big.
("cow" "is" "big" "+")
int8
((((((((((triple2) -> (rule9 % int8))) -> (rule5 % int7))) -> (rule4 % int6))) -> (rule9 % int5)) ((triple7 ((((((((triple9) -> (rule5 % int4)) triple10) -> (rule7 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int6
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int7
The cow is big.
("cow" "is" "big" "+")
int8
((((((triple12) -> (rule4 % int7))) -> (rule9 % int6)) ((triple7 ((((((((((triple2) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int7))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The rabbit is big.
("rabbit" "is" "big" "+")
int6
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int7
((((((triple5) -> (rule4 % int7))) -> (rule9 % int6)) ((triple7 ((((((((((triple2) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int7))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The rabbit is big.
("rabbit" "is" "big" "+")
int6
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int7
((((((triple12 triple10) -> (rule7 % int7))) -> (rule9 % int6)) ((triple7 ((((((((((triple2) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int7))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The rabbit is big.
("rabbit" "is" "big" "+")
int6
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int7
((((((((triple9) -> (rule5 % int8))) -> (rule4 % int7))) -> (rule9 % int6)) ((triple7 ((((((((((triple2) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int7))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The rabbit is big.
("rabbit" "is" "big" "+")
int6
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int7
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int8
((((((((triple9) -> (rule5 % int8)) triple10) -> (rule7 % int7))) -> (rule9 % int6)) ((triple7 ((((((((((triple2) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int7))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The rabbit is big.
("rabbit" "is" "big" "+")
int6
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int7
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int8
((((((((((triple2) -> (rule9 % int7))) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4)) ((triple7 ((((((((((triple2) -> (rule9 % int7))) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int6
The cow is big.
("cow" "is" "big" "+")
int7