The bear eats the dog. The bear eats the rabbit. The bear is blue. The bear is cold. The bear needs the dog. The bear needs the rabbit. The bear visits the rabbit. The dog is blue. The dog is cold. The dog is kind. The dog visits the bear. The dog visits the rabbit. The rabbit eats the bear. The rabbit needs the dog. The rabbit visits the bear. The rabbit visits the dog. If something visits the rabbit and the rabbit visits the dog then the rabbit is kind. If something visits the rabbit and it is kind then it eats the rabbit. If something is kind then it visits the rabbit. If something needs the rabbit then the rabbit visits the dog. If something needs the bear then the bear needs the rabbit. If something is blue and it eats the rabbit then the rabbit eats the dog.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If something visits the rabbit and the rabbit visits the dog then the rabbit is kind.
((("something" "visits" "rabbit" "+") ("rabbit" "visits" "dog" "+")) -> ("rabbit" "is" "kind" "+"))
If something visits the rabbit and it is kind then it eats the rabbit.
((("something" "visits" "rabbit" "+") ("something" "is" "kind" "+")) -> ("something" "eats" "rabbit" "+"))
If something is kind then it visits the rabbit.
((("something" "is" "kind" "+")) -> ("something" "visits" "rabbit" "+"))
If something needs the rabbit then the rabbit visits the dog.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "visits" "dog" "+"))
If something needs the bear then the bear needs the rabbit.
((("something" "needs" "bear" "+")) -> ("bear" "needs" "rabbit" "+"))
If something is blue and it eats the rabbit then the rabbit eats the dog.
((("something" "is" "blue" "+") ("something" "eats" "rabbit" "+")) -> ("rabbit" "eats" "dog" "+"))
The bear needs the rabbit.
True
1
proof
[(triple6)]
("bear" "needs" "rabbit" "+")
triple6
The bear does not need the dog.
False
1
inv-proof
[(triple5)]
("bear" "needs" "dog" "-")
triple5
The dog eats the rabbit.
True
3
proof
[(((triple12 triple10) -> rule2) OR ((((triple10) -> rule3) triple10) -> rule2))]
("dog" "eats" "rabbit" "+")
((triple12 triple10) -> (rule2 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
((((triple10) -> (rule3 % int2)) triple10) -> (rule2 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The dog does not eat the rabbit.
False
3
inv-proof
[(((triple12 triple10) -> rule2) OR ((((triple10) -> rule3) triple10) -> rule2))]
("dog" "eats" "rabbit" "-")
((triple12 triple10) -> (rule2 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
((((triple10) -> (rule3 % int2)) triple10) -> (rule2 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
True
4
proof
[(((((triple12 triple16) -> rule1)) -> rule3) OR ((((triple7 triple16) -> rule1)) -> rule3) OR ((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) OR ((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) OR ((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) OR ((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3))]
("rabbit" "visits" "rabbit" "+")
((((triple12 triple16) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
((((triple7 triple16) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
((((triple12 ((triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int3
((((triple7 ((triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int3
((((((triple10) -> (rule3 % int3)) triple16) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int3
((((((triple10) -> (rule3 % int4)) ((triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int3
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int4
The rabbit does not visit the rabbit.
False
4
inv-proof
[(((((triple12 triple16) -> rule1)) -> rule3) OR ((((triple7 triple16) -> rule1)) -> rule3) OR ((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) OR ((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) OR ((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) OR ((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3))]
("rabbit" "visits" "rabbit" "-")
((((triple12 triple16) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
((((triple7 triple16) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
((((triple12 ((triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int3
((((triple7 ((triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int3
((((((triple10) -> (rule3 % int3)) triple16) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int3
((((((triple10) -> (rule3 % int4)) ((triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int3
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int4
The rabbit eats the rabbit.
True
8
proof
[(((((((triple12 triple16) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2))]
("rabbit" "eats" "rabbit" "+")
((((((triple12 triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
((((((triple12 triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
((((((triple7 triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
((((((triple7 triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
((((((triple12 triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((triple12 ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((((triple12 triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7 ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((((triple12 triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int2)) triple16) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((((triple7 triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((triple12 ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((((triple7 triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7 ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((((triple7 triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int2)) triple16) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((((triple12 triple16) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule3 % int3)) ((triple6) -> (rule4 % int2))) -> (rule1 % int5))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
((((((triple7 triple16) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule3 % int3)) ((triple6) -> (rule4 % int2))) -> (rule1 % int5))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
((((((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((((triple10) -> (rule3 % int4)) triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int4
((((((((triple10) -> (rule3 % int4)) triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int4
((((((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple12 ((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int2)) triple16) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int5
((((((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple7 ((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int2)) triple16) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int5
((((((((triple10) -> (rule3 % int5)) triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((triple12 ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int5)) triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7 ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int4)) triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple10) -> (rule3 % int4)) triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int4
((((((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((triple12 ((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int2)) ((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int5
((((((triple7 ((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int2)) ((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int5
((((((((triple10) -> (rule3 % int5)) triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple10) -> (rule3 % int5)) triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
The rabbit does not eat the rabbit.
False
8
inv-proof
[(((((((triple12 triple16) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2))]
("rabbit" "eats" "rabbit" "-")
((((((triple12 triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
((((((triple12 triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
((((((triple7 triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
((((((triple7 triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
((((((triple12 triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((triple12 ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((((triple12 triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7 ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((((triple12 triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int2)) triple16) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((((triple7 triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((triple12 ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((((triple7 triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7 ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((((triple7 triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int2)) triple16) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((((triple12 triple16) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule3 % int3)) ((triple6) -> (rule4 % int2))) -> (rule1 % int5))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
((((((triple7 triple16) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule3 % int3)) ((triple6) -> (rule4 % int2))) -> (rule1 % int5))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
((((((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((((triple10) -> (rule3 % int4)) triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int4
((((((((triple10) -> (rule3 % int4)) triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int4
((((((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple12 ((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int2)) triple16) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int5
((((((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple7 ((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int2)) triple16) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int5
((((((((triple10) -> (rule3 % int5)) triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((triple12 ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int5)) triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7 ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int4)) triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple10) -> (rule3 % int4)) triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int4
((((((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((triple12 ((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int2)) ((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int5
((((((triple7 ((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int2)) ((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int5
((((((((triple10) -> (rule3 % int5)) triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple10) -> (rule3 % int5)) triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
The rabbit does not need the bear.
Unknown
inv-random
[@0: The rabbit needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "bear" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
The dog does not eat the bear.
Unknown
inv-random
[@0: The dog eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bear" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The dog needs the bear.
Unknown
random
[@0: The dog needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bear" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bear eats the dog.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The bear needs the dog.[(triple5)] The bear needs the rabbit.[(triple6)] The bear visits the rabbit.[(triple7)] The dog is blue.[(triple8)] The dog is cold.[(triple9)] The dog is kind.[(triple10)] The dog visits the bear.[(triple11)] The dog visits the rabbit.[(triple12 OR ((triple10) -> rule3))] The rabbit eats the bear.[(triple13)] The rabbit needs the dog.[(triple14)] The rabbit visits the bear.[(triple15)] The rabbit visits the dog.[(triple16 OR ((triple6) -> rule4))] @1: The dog eats the rabbit.[(((triple12 triple10) -> rule2) OR ((((triple10) -> rule3) triple10) -> rule2))] The rabbit eats the dog.[(((triple3 triple2) -> rule6) OR ((triple8 ((triple12 triple10) -> rule2)) -> rule6) OR ((triple8 ((((triple10) -> rule3) triple10) -> rule2)) -> rule6))] The rabbit is kind.[(((triple12 triple16) -> rule1) OR ((triple7 triple16) -> rule1) OR ((triple12 ((triple6) -> rule4)) -> rule1) OR ((triple7 ((triple6) -> rule4)) -> rule1) OR ((((triple10) -> rule3) triple16) -> rule1) OR ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1))] @2: The rabbit visits the rabbit.[(((((triple12 triple16) -> rule1)) -> rule3) OR ((((triple7 triple16) -> rule1)) -> rule3) OR ((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) OR ((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) OR ((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) OR ((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3))] @3: The rabbit eats the rabbit.[(((((((triple12 triple16) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear needs the dog.
("bear" "needs" "dog" "+")
triple5
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple6
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple8
The dog is cold.
("dog" "is" "cold" "+")
triple9
The dog is kind.
("dog" "is" "kind" "+")
triple10
The dog visits the bear.
("dog" "visits" "bear" "+")
triple11
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple12
((triple10) -> (rule3 % int1))
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple13
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple14
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple15
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple16
((triple6) -> (rule4 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
((triple12 triple10) -> (rule2 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
((((triple10) -> (rule3 % int2)) triple10) -> (rule2 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
((triple3 triple2) -> (rule6 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
((triple8 ((triple12 triple10) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
((triple8 ((((triple10) -> (rule3 % int3)) triple10) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple12 triple16) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
((triple7 triple16) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
((triple12 ((triple6) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
((triple7 ((triple6) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
((((triple10) -> (rule3 % int2)) triple16) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
((((triple10) -> (rule3 % int3)) ((triple6) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((((triple12 triple16) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
((((triple7 triple16) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
((((triple12 ((triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int3
((((triple7 ((triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int3
((((((triple10) -> (rule3 % int3)) triple16) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int3
((((((triple10) -> (rule3 % int4)) ((triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int3
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int4
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((((((triple12 triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
((((((triple12 triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
((((((triple7 triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
((((((triple7 triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
((((((triple12 triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((triple12 ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((((triple12 triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7 ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((((triple12 triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int2)) triple16) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((((triple7 triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((triple12 ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((((triple7 triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7 ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((((triple7 triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int2)) triple16) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((((triple12 triple16) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule3 % int3)) ((triple6) -> (rule4 % int2))) -> (rule1 % int5))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
((((((triple7 triple16) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule3 % int3)) ((triple6) -> (rule4 % int2))) -> (rule1 % int5))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
((((((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((((triple10) -> (rule3 % int4)) triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int4
((((((((triple10) -> (rule3 % int4)) triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int4
((((((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple12 ((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int2)) triple16) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int5
((((((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
((((((triple7 ((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int2)) triple16) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int5
((((((((triple10) -> (rule3 % int5)) triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((triple12 ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int5)) triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7 ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int4)) triple16) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple10) -> (rule3 % int4)) triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int4
((((((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((triple12 ((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int2)) ((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int5
((((((triple7 ((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int2)) ((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int5
((((((((triple10) -> (rule3 % int5)) triple16) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple12 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple10) -> (rule3 % int5)) triple16) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple10) -> (rule3 % int5)) ((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int5