The dog is round. The dog likes the tiger. The dog needs the lion. The dog needs the tiger. The lion eats the dog. The lion is red. The lion is round. The lion is young. The lion likes the dog. The lion likes the tiger. The lion needs the dog. The tiger is round. The tiger likes the dog. The tiger needs the dog. The tiger needs the lion. If the tiger needs the dog and the tiger is young then the tiger is round. If someone needs the dog and they like the lion then the lion needs the tiger. If someone likes the tiger then the tiger eats the dog. If someone eats the lion then they like the tiger. If someone eats the dog and the dog needs the tiger then they eat the lion. If someone eats the dog then the dog needs the tiger.
The dog is round.
("dog" "is" "round" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If the tiger needs the dog and the tiger is young then the tiger is round.
((("tiger" "needs" "dog" "+") ("tiger" "is" "young" "+")) -> ("tiger" "is" "round" "+"))
If someone needs the dog and they like the lion then the lion needs the tiger.
((("someone" "needs" "dog" "+") ("someone" "likes" "lion" "+")) -> ("lion" "needs" "tiger" "+"))
If someone likes the tiger then the tiger eats the dog.
((("someone" "likes" "tiger" "+")) -> ("tiger" "eats" "dog" "+"))
If someone eats the lion then they like the tiger.
((("someone" "eats" "lion" "+")) -> ("someone" "likes" "tiger" "+"))
If someone eats the dog and the dog needs the tiger then they eat the lion.
((("someone" "eats" "dog" "+") ("dog" "needs" "tiger" "+")) -> ("someone" "eats" "lion" "+"))
If someone eats the dog then the dog needs the tiger.
((("someone" "eats" "dog" "+")) -> ("dog" "needs" "tiger" "+"))
The dog needs the lion.
True
1
proof
[(triple3)]
("dog" "needs" "lion" "+")
triple3
The lion does not eat the dog.
False
1
inv-proof
[(triple5)]
("lion" "eats" "dog" "-")
triple5
The tiger eats the dog.
True
2
proof
[(((triple10) -> rule3) OR ((triple2) -> rule3) OR ((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) OR ((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3))]
("tiger" "eats" "dog" "+")
((triple10) -> (rule3 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
((triple2) -> (rule3 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
((((((triple5 triple4) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int4
The tiger does not eat the dog.
False
2
inv-proof
[(((triple10) -> rule3) OR ((triple2) -> rule3) OR ((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) OR ((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3))]
("tiger" "eats" "dog" "-")
((triple10) -> (rule3 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
((triple2) -> (rule3 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
((((((triple5 triple4) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int4
The tiger eats the lion.
True
4
proof
[(((((triple10) -> rule3) triple4) -> rule5) OR ((((triple2) -> rule3) triple4) -> rule5) OR ((((triple10) -> rule3) ((triple5) -> rule6)) -> rule5) OR ((((triple2) -> rule3) ((triple5) -> rule6)) -> rule5) OR ((((triple10) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5) OR ((((triple10) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5) OR ((((triple2) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5) OR ((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) triple4) -> rule5) OR ((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) ((triple5) -> rule6)) -> rule5) OR ((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) triple4) -> rule5) OR ((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((triple5) -> rule6)) -> rule5) OR ((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5))]
("tiger" "eats" "lion" "+")
((((triple10) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
((((triple2) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
((((triple10) -> (rule3 % int3)) ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((triple2) -> (rule3 % int3)) ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((triple10) -> (rule3 % int3)) ((((triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((triple10) -> (rule3 % int3)) ((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((triple2) -> (rule3 % int3)) ((((triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((triple2) -> (rule3 % int3)) ((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((((((triple5 triple4) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
((((((((triple5 triple4) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((((triple5 triple4) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((((triple5 triple4) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int5
((((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((triple5) -> (rule6 % int5))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int5
((((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple10) -> (rule3 % int2))) -> (rule6 % int5))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int5
((((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple2) -> (rule3 % int2))) -> (rule6 % int5))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int5
The tiger does not eat the lion.
False
4
inv-proof
[(((((triple10) -> rule3) triple4) -> rule5) OR ((((triple2) -> rule3) triple4) -> rule5) OR ((((triple10) -> rule3) ((triple5) -> rule6)) -> rule5) OR ((((triple2) -> rule3) ((triple5) -> rule6)) -> rule5) OR ((((triple10) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5) OR ((((triple10) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5) OR ((((triple2) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5) OR ((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) triple4) -> rule5) OR ((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) ((triple5) -> rule6)) -> rule5) OR ((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) triple4) -> rule5) OR ((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((triple5) -> rule6)) -> rule5) OR ((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5))]
("tiger" "eats" "lion" "-")
((((triple10) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
((((triple2) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
((((triple10) -> (rule3 % int3)) ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((triple2) -> (rule3 % int3)) ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((triple10) -> (rule3 % int3)) ((((triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((triple10) -> (rule3 % int3)) ((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((triple2) -> (rule3 % int3)) ((((triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((triple2) -> (rule3 % int3)) ((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((((((triple5 triple4) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
((((((((triple5 triple4) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((((triple5 triple4) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((((triple5 triple4) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int5
((((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((triple5) -> (rule6 % int5))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int5
((((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple10) -> (rule3 % int2))) -> (rule6 % int5))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int5
((((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple2) -> (rule3 % int2))) -> (rule6 % int5))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int5
The tiger likes the tiger.
True
5
proof
[(((((((triple10) -> rule3) triple4) -> rule5)) -> rule4) OR ((((((triple2) -> rule3) triple4) -> rule5)) -> rule4) OR ((((((triple10) -> rule3) ((triple5) -> rule6)) -> rule5)) -> rule4) OR ((((((triple2) -> rule3) ((triple5) -> rule6)) -> rule5)) -> rule4) OR ((((((triple10) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((triple10) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((triple2) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) triple4) -> rule5)) -> rule4) OR ((((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) ((triple5) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) triple4) -> rule5)) -> rule4) OR ((((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((triple5) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5)) -> rule4))]
("tiger" "likes" "tiger" "+")
((((((triple10) -> (rule3 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((((triple2) -> (rule3 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((((triple10) -> (rule3 % int4)) ((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
((((((triple2) -> (rule3 % int4)) ((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
((((((triple10) -> (rule3 % int4)) ((((triple10) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
((((((triple10) -> (rule3 % int4)) ((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
((((((triple2) -> (rule3 % int4)) ((((triple10) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
((((((triple2) -> (rule3 % int4)) ((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
((((((((((triple5 triple4) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((((((triple5 triple4) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule3 % int4)) ((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int5
The lion eats the lion.
("lion" "eats" "lion" "+")
int6
((((((((((triple5 triple4) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int5
The lion eats the lion.
("lion" "eats" "lion" "+")
int6
((((((((((triple5 triple4) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int5
The lion eats the lion.
("lion" "eats" "lion" "+")
int6
((((((((((triple5 ((triple5) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int6
((((((((((triple5 ((triple5) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple5) -> (rule6 % int6))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int6
((((((((((triple5 ((triple5) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int3))) -> (rule6 % int6))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int6
((((((((((triple5 ((triple5) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule3 % int3))) -> (rule6 % int6))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int6
The tiger does not like the tiger.
False
5
inv-proof
[(((((((triple10) -> rule3) triple4) -> rule5)) -> rule4) OR ((((((triple2) -> rule3) triple4) -> rule5)) -> rule4) OR ((((((triple10) -> rule3) ((triple5) -> rule6)) -> rule5)) -> rule4) OR ((((((triple2) -> rule3) ((triple5) -> rule6)) -> rule5)) -> rule4) OR ((((((triple10) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((triple10) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((triple2) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) triple4) -> rule5)) -> rule4) OR ((((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) ((triple5) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) triple4) -> rule5)) -> rule4) OR ((((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((triple5) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5)) -> rule4))]
("tiger" "likes" "tiger" "-")
((((((triple10) -> (rule3 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((((triple2) -> (rule3 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((((triple10) -> (rule3 % int4)) ((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
((((((triple2) -> (rule3 % int4)) ((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
((((((triple10) -> (rule3 % int4)) ((((triple10) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
((((((triple10) -> (rule3 % int4)) ((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
((((((triple2) -> (rule3 % int4)) ((((triple10) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
((((((triple2) -> (rule3 % int4)) ((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
((((((((((triple5 triple4) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((((((triple5 triple4) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule3 % int4)) ((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int5
The lion eats the lion.
("lion" "eats" "lion" "+")
int6
((((((((((triple5 triple4) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int5
The lion eats the lion.
("lion" "eats" "lion" "+")
int6
((((((((((triple5 triple4) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int5
The lion eats the lion.
("lion" "eats" "lion" "+")
int6
((((((((((triple5 ((triple5) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int6
((((((((((triple5 ((triple5) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple5) -> (rule6 % int6))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int6
((((((((((triple5 ((triple5) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int3))) -> (rule6 % int6))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int6
((((((((((triple5 ((triple5) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule3 % int3))) -> (rule6 % int6))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int6
The dog does not eat the lion.
Unknown
inv-rconc
[@1: The dog eats the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "eats" "lion" "-")
The lion needs the tiger.
Unknown
rconc
[@1: The lion needs the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "needs" "tiger" "+")
The tiger is not young.
Unknown
inv-random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog eats the tiger.
Unknown
random
[@0: The dog eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "tiger" "+")
@0: The dog is round.[(triple1)] The dog likes the tiger.[(triple2)] The dog needs the lion.[(triple3)] The dog needs the tiger.[(triple4 OR ((triple5) -> rule6) OR ((((triple10) -> rule3)) -> rule6) OR ((((triple2) -> rule3)) -> rule6))] The lion eats the dog.[(triple5)] The lion is red.[(triple6)] The lion is round.[(triple7)] The lion is young.[(triple8)] The lion likes the dog.[(triple9)] The lion likes the tiger.[(triple10 OR ((((triple5 triple4) -> rule5)) -> rule4) OR ((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4) OR ((((triple5 ((((triple2) -> rule3)) -> rule6)) -> rule5)) -> rule4))] The lion needs the dog.[(triple11)] The tiger is round.[(triple12)] The tiger likes the dog.[(triple13)] The tiger needs the dog.[(triple14)] The tiger needs the lion.[(triple15)] @1: The lion eats the lion.[(((triple5 triple4) -> rule5) OR ((triple5 ((triple5) -> rule6)) -> rule5) OR ((triple5 ((((triple10) -> rule3)) -> rule6)) -> rule5) OR ((triple5 ((((triple2) -> rule3)) -> rule6)) -> rule5))] The tiger eats the dog.[(((triple10) -> rule3) OR ((triple2) -> rule3) OR ((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) OR ((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3))] @2: The tiger eats the lion.[(((((triple10) -> rule3) triple4) -> rule5) OR ((((triple2) -> rule3) triple4) -> rule5) OR ((((triple10) -> rule3) ((triple5) -> rule6)) -> rule5) OR ((((triple2) -> rule3) ((triple5) -> rule6)) -> rule5) OR ((((triple10) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5) OR ((((triple10) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5) OR ((((triple2) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5) OR ((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) triple4) -> rule5) OR ((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) ((triple5) -> rule6)) -> rule5) OR ((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) triple4) -> rule5) OR ((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((triple5) -> rule6)) -> rule5) OR ((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5))] @3: The tiger likes the tiger.[(((((((triple10) -> rule3) triple4) -> rule5)) -> rule4) OR ((((((triple2) -> rule3) triple4) -> rule5)) -> rule4) OR ((((((triple10) -> rule3) ((triple5) -> rule6)) -> rule5)) -> rule4) OR ((((((triple2) -> rule3) ((triple5) -> rule6)) -> rule5)) -> rule4) OR ((((((triple10) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((triple10) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((triple2) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) triple4) -> rule5)) -> rule4) OR ((((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) ((triple5) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple5 triple4) -> rule5)) -> rule4)) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) triple4) -> rule5)) -> rule4) OR ((((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((triple5) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((((triple10) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((((triple2) -> rule3)) -> rule6)) -> rule5)) -> rule4))]
The dog is round.
("dog" "is" "round" "+")
triple1
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple2
The dog needs the lion.
("dog" "needs" "lion" "+")
triple3
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple4
((triple5) -> (rule6 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
((((triple10) -> (rule3 % int2))) -> (rule6 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The lion eats the dog.
("lion" "eats" "dog" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The lion is round.
("lion" "is" "round" "+")
triple7
The lion is young.
("lion" "is" "young" "+")
triple8
The lion likes the dog.
("lion" "likes" "dog" "+")
triple9
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple10
((((triple5 triple4) -> (rule5 % int2))) -> (rule4 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
((((triple5 ((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
The lion needs the dog.
("lion" "needs" "dog" "+")
triple11
The tiger is round.
("tiger" "is" "round" "+")
triple12
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple13
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple14
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple15
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple5 triple4) -> (rule5 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
((triple5 ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
((triple5 ((((triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((triple5 ((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
((triple10) -> (rule3 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
((triple2) -> (rule3 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
((((((triple5 triple4) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int4
The tiger eats the lion.
("tiger" "eats" "lion" "+")
((((triple10) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
((((triple2) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
((((triple10) -> (rule3 % int3)) ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((triple2) -> (rule3 % int3)) ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((triple10) -> (rule3 % int3)) ((((triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((triple10) -> (rule3 % int3)) ((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((triple2) -> (rule3 % int3)) ((((triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((triple2) -> (rule3 % int3)) ((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((((((triple5 triple4) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
((((((((triple5 triple4) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((((triple5 triple4) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((((triple5 triple4) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int5
((((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((triple5) -> (rule6 % int5))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int5
((((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple10) -> (rule3 % int2))) -> (rule6 % int5))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int5
((((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple2) -> (rule3 % int2))) -> (rule6 % int5))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int5
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((((((triple10) -> (rule3 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((((triple2) -> (rule3 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
((((((triple10) -> (rule3 % int4)) ((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
((((((triple2) -> (rule3 % int4)) ((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
((((((triple10) -> (rule3 % int4)) ((((triple10) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
((((((triple10) -> (rule3 % int4)) ((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
((((((triple2) -> (rule3 % int4)) ((((triple10) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
((((((triple2) -> (rule3 % int4)) ((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
((((((((((triple5 triple4) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((((((triple5 triple4) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule3 % int4)) ((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int5
The lion eats the lion.
("lion" "eats" "lion" "+")
int6
((((((((((triple5 triple4) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int5
The lion eats the lion.
("lion" "eats" "lion" "+")
int6
((((((((((triple5 triple4) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int5
The lion eats the lion.
("lion" "eats" "lion" "+")
int6
((((((((((triple5 ((triple5) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int6
((((((((((triple5 ((triple5) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple5) -> (rule6 % int6))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int6
((((((((((triple5 ((triple5) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule3 % int3))) -> (rule6 % int6))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int6
((((((((((triple5 ((triple5) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule3 % int3))) -> (rule6 % int6))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int6