The cow is green. The cow is young. The dog visits the cow. The lion chases the dog. The lion chases the tiger. The lion eats the cow. The lion eats the dog. The lion is kind. The lion visits the cow. The lion visits the dog. The tiger eats the dog. The tiger visits the cow. If someone is young and they chase the dog then the dog visits the lion. If someone is young and they eat the tiger then they eat the dog. If someone chases the cow then they chase the dog. If the lion is green then the lion visits the tiger. If the lion eats the tiger and the lion visits the tiger then the tiger chases the cow. If someone visits the cow then the cow chases the dog. If someone chases the dog and the dog visits the lion then they eat the lion. If the dog eats the lion then the lion eats the dog. If someone visits the lion and the lion eats the dog then they chase the cow.
The cow is green.
("cow" "is" "green" "+")
The cow is young.
("cow" "is" "young" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If someone is young and they chase the dog then the dog visits the lion.
((("someone" "is" "young" "+") ("someone" "chases" "dog" "+")) -> ("dog" "visits" "lion" "+"))
If someone is young and they eat the tiger then they eat the dog.
((("someone" "is" "young" "+") ("someone" "eats" "tiger" "+")) -> ("someone" "eats" "dog" "+"))
If someone chases the cow then they chase the dog.
((("someone" "chases" "cow" "+")) -> ("someone" "chases" "dog" "+"))
If the lion is green then the lion visits the tiger.
((("lion" "is" "green" "+")) -> ("lion" "visits" "tiger" "+"))
If the lion eats the tiger and the lion visits the tiger then the tiger chases the cow.
((("lion" "eats" "tiger" "+") ("lion" "visits" "tiger" "+")) -> ("tiger" "chases" "cow" "+"))
If someone visits the cow then the cow chases the dog.
((("someone" "visits" "cow" "+")) -> ("cow" "chases" "dog" "+"))
If someone chases the dog and the dog visits the lion then they eat the lion.
((("someone" "chases" "dog" "+") ("dog" "visits" "lion" "+")) -> ("someone" "eats" "lion" "+"))
If the dog eats the lion then the lion eats the dog.
((("dog" "eats" "lion" "+")) -> ("lion" "eats" "dog" "+"))
If someone visits the lion and the lion eats the dog then they chase the cow.
((("someone" "visits" "lion" "+") ("lion" "eats" "dog" "+")) -> ("someone" "chases" "cow" "+"))
The lion visits the cow.
True
1
proof
[(triple9)]
("lion" "visits" "cow" "+")
triple9
The lion does not chase the tiger.
False
1
inv-proof
[(triple5)]
("lion" "chases" "tiger" "-")
triple5
The cow chases the dog.
True
2
proof
[(((triple12) -> rule6) OR ((triple3) -> rule6) OR ((triple9) -> rule6))]
("cow" "chases" "dog" "+")
((triple12) -> (rule6 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
((triple3) -> (rule6 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
((triple9) -> (rule6 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The cow does not chase the dog.
False
2
inv-proof
[(((triple12) -> rule6) OR ((triple3) -> rule6) OR ((triple9) -> rule6))]
("cow" "chases" "dog" "-")
((triple12) -> (rule6 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
((triple3) -> (rule6 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
((triple9) -> (rule6 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The dog visits the lion.
True
4
proof
[(((triple2 ((triple12) -> rule6)) -> rule1) OR ((triple2 ((triple3) -> rule6)) -> rule1) OR ((triple2 ((triple9) -> rule6)) -> rule1))]
("dog" "visits" "lion" "+")
((triple2 ((triple12) -> (rule6 % int2))) -> (rule1 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
((triple2 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
((triple2 ((triple9) -> (rule6 % int2))) -> (rule1 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
The dog does not visit the lion.
False
4
inv-proof
[(((triple2 ((triple12) -> rule6)) -> rule1) OR ((triple2 ((triple3) -> rule6)) -> rule1) OR ((triple2 ((triple9) -> rule6)) -> rule1))]
("dog" "visits" "lion" "-")
((triple2 ((triple12) -> (rule6 % int2))) -> (rule1 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
((triple2 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
((triple2 ((triple9) -> (rule6 % int2))) -> (rule1 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
The cow eats the lion.
True
7
proof
[(((((triple12) -> rule6) ((triple2 ((triple12) -> rule6)) -> rule1)) -> rule7) OR ((((triple12) -> rule6) ((triple2 ((triple3) -> rule6)) -> rule1)) -> rule7) OR ((((triple12) -> rule6) ((triple2 ((triple9) -> rule6)) -> rule1)) -> rule7) OR ((((triple3) -> rule6) ((triple2 ((triple12) -> rule6)) -> rule1)) -> rule7) OR ((((triple3) -> rule6) ((triple2 ((triple3) -> rule6)) -> rule1)) -> rule7) OR ((((triple3) -> rule6) ((triple2 ((triple9) -> rule6)) -> rule1)) -> rule7) OR ((((triple9) -> rule6) ((triple2 ((triple12) -> rule6)) -> rule1)) -> rule7) OR ((((triple9) -> rule6) ((triple2 ((triple3) -> rule6)) -> rule1)) -> rule7) OR ((((triple9) -> rule6) ((triple2 ((triple9) -> rule6)) -> rule1)) -> rule7))]
("cow" "eats" "lion" "+")
((((triple12) -> (rule6 % int3)) ((triple2 ((triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple12) -> (rule6 % int3)) ((triple2 ((triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple12) -> (rule6 % int3)) ((triple2 ((triple9) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple3) -> (rule6 % int3)) ((triple2 ((triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple3) -> (rule6 % int3)) ((triple2 ((triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple3) -> (rule6 % int3)) ((triple2 ((triple9) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple9) -> (rule6 % int3)) ((triple2 ((triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple9) -> (rule6 % int3)) ((triple2 ((triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple9) -> (rule6 % int3)) ((triple2 ((triple9) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
The dog does not chase the cow.
False
6
inv-proof
[(((((triple2 ((triple12) -> rule6)) -> rule1) triple7) -> rule9) OR ((((triple2 ((triple3) -> rule6)) -> rule1) triple7) -> rule9) OR ((((triple2 ((triple9) -> rule6)) -> rule1) triple7) -> rule9))]
("dog" "chases" "cow" "-")
((((triple2 ((triple12) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule9 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple2 ((triple3) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule9 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple2 ((triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule9 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
The dog chases the dog.
True
7
proof
[(((((((triple2 ((triple12) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) OR ((((((triple2 ((triple3) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) OR ((((((triple2 ((triple9) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3))]
("dog" "chases" "dog" "+")
((((((triple2 ((triple12) -> (rule6 % int4))) -> (rule1 % int3)) triple7) -> (rule9 % int2))) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The cow chases the dog.
("cow" "chases" "dog" "+")
int4
((((((triple2 ((triple3) -> (rule6 % int4))) -> (rule1 % int3)) triple7) -> (rule9 % int2))) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The cow chases the dog.
("cow" "chases" "dog" "+")
int4
((((((triple2 ((triple9) -> (rule6 % int4))) -> (rule1 % int3)) triple7) -> (rule9 % int2))) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The cow chases the dog.
("cow" "chases" "dog" "+")
int4
The dog does not chase the dog.
False
7
inv-proof
[(((((((triple2 ((triple12) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) OR ((((((triple2 ((triple3) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) OR ((((((triple2 ((triple9) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3))]
("dog" "chases" "dog" "-")
((((((triple2 ((triple12) -> (rule6 % int4))) -> (rule1 % int3)) triple7) -> (rule9 % int2))) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The cow chases the dog.
("cow" "chases" "dog" "+")
int4
((((((triple2 ((triple3) -> (rule6 % int4))) -> (rule1 % int3)) triple7) -> (rule9 % int2))) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The cow chases the dog.
("cow" "chases" "dog" "+")
int4
((((((triple2 ((triple9) -> (rule6 % int4))) -> (rule1 % int3)) triple7) -> (rule9 % int2))) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The cow chases the dog.
("cow" "chases" "dog" "+")
int4
The dog eats the lion.
True
12
proof
[(((((((((triple2 ((triple12) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple12) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple12) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple12) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple9) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple3) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple12) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple3) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple3) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple9) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple9) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple12) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple9) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple9) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple9) -> rule6)) -> rule1)) -> rule7))]
("dog" "eats" "lion" "+")
((((((((triple2 ((triple12) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple12) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple12) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple12) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple9) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple3) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple12) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple3) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple3) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple9) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple9) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple12) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple9) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple9) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple9) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
The dog does not eat the lion.
False
12
inv-proof
[(((((((((triple2 ((triple12) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple12) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple12) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple12) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple9) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple3) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple12) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple3) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple3) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple9) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple9) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple12) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple9) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple9) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple9) -> rule6)) -> rule1)) -> rule7))]
("dog" "eats" "lion" "-")
((((((((triple2 ((triple12) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple12) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple12) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple12) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple9) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple3) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple12) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple3) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple3) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple9) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple9) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple12) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple9) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple9) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple9) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "dog" "-")
The tiger chases the cow.
Unknown
rconc
[@1: The tiger chases the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "chases" "cow" "+")
The cow does not eat the dog.
Unknown
inv-rconc
[@1: The cow eats the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "eats" "dog" "-")
The lion chases the cow.
Unknown
rconc
[@1: The lion chases the cow.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("lion" "chases" "cow" "+")
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("cow" "chases" "cow" "-")
The tiger eats the lion.
Unknown
rconc
[@3: The tiger eats the lion.[CWA. Example of deepest failure = (rule7 <- rule3 <- rule5 <- FAIL)]]
("tiger" "eats" "lion" "+")
The cow does not chase the lion.
Unknown
inv-random
[@0: The cow chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "lion" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
The lion is not young.
Unknown
inv-random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
The cow is not nice.
Unknown
inv-random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
@0: The cow is green.[(triple1)] The cow is young.[(triple2)] The dog visits the cow.[(triple3)] The lion chases the dog.[(triple4)] The lion chases the tiger.[(triple5)] The lion eats the cow.[(triple6)] The lion eats the dog.[(triple7)] The lion is kind.[(triple8)] The lion visits the cow.[(triple9)] The lion visits the dog.[(triple10)] The tiger eats the dog.[(triple11)] The tiger visits the cow.[(triple12)] @1: The cow chases the dog.[(((triple12) -> rule6) OR ((triple3) -> rule6) OR ((triple9) -> rule6))] @2: The dog visits the lion.[(((triple2 ((triple12) -> rule6)) -> rule1) OR ((triple2 ((triple3) -> rule6)) -> rule1) OR ((triple2 ((triple9) -> rule6)) -> rule1))] @3: The cow eats the lion.[(((((triple12) -> rule6) ((triple2 ((triple12) -> rule6)) -> rule1)) -> rule7) OR ((((triple12) -> rule6) ((triple2 ((triple3) -> rule6)) -> rule1)) -> rule7) OR ((((triple12) -> rule6) ((triple2 ((triple9) -> rule6)) -> rule1)) -> rule7) OR ((((triple3) -> rule6) ((triple2 ((triple12) -> rule6)) -> rule1)) -> rule7) OR ((((triple3) -> rule6) ((triple2 ((triple3) -> rule6)) -> rule1)) -> rule7) OR ((((triple3) -> rule6) ((triple2 ((triple9) -> rule6)) -> rule1)) -> rule7) OR ((((triple9) -> rule6) ((triple2 ((triple12) -> rule6)) -> rule1)) -> rule7) OR ((((triple9) -> rule6) ((triple2 ((triple3) -> rule6)) -> rule1)) -> rule7) OR ((((triple9) -> rule6) ((triple2 ((triple9) -> rule6)) -> rule1)) -> rule7))] The dog chases the cow.[(((((triple2 ((triple12) -> rule6)) -> rule1) triple7) -> rule9) OR ((((triple2 ((triple3) -> rule6)) -> rule1) triple7) -> rule9) OR ((((triple2 ((triple9) -> rule6)) -> rule1) triple7) -> rule9))] The lion eats the lion.[(((triple4 ((triple2 ((triple12) -> rule6)) -> rule1)) -> rule7) OR ((triple4 ((triple2 ((triple3) -> rule6)) -> rule1)) -> rule7) OR ((triple4 ((triple2 ((triple9) -> rule6)) -> rule1)) -> rule7))] @4: The dog chases the dog.[(((((((triple2 ((triple12) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) OR ((((((triple2 ((triple3) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) OR ((((((triple2 ((triple9) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3))] @5: The dog eats the lion.[(((((((((triple2 ((triple12) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple12) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple12) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple12) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple9) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple3) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple12) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple3) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple3) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple9) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple9) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple12) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple9) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple9) -> rule6)) -> rule1) triple7) -> rule9)) -> rule3) ((triple2 ((triple9) -> rule6)) -> rule1)) -> rule7))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow is young.
("cow" "is" "young" "+")
triple2
The dog visits the cow.
("dog" "visits" "cow" "+")
triple3
The lion chases the dog.
("lion" "chases" "dog" "+")
triple4
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple5
The lion eats the cow.
("lion" "eats" "cow" "+")
triple6
The lion eats the dog.
("lion" "eats" "dog" "+")
triple7
The lion is kind.
("lion" "is" "kind" "+")
triple8
The lion visits the cow.
("lion" "visits" "cow" "+")
triple9
The lion visits the dog.
("lion" "visits" "dog" "+")
triple10
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple11
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple12
The cow chases the dog.
("cow" "chases" "dog" "+")
((triple12) -> (rule6 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
((triple3) -> (rule6 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
((triple9) -> (rule6 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
((triple2 ((triple12) -> (rule6 % int2))) -> (rule1 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
((triple2 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
((triple2 ((triple9) -> (rule6 % int2))) -> (rule1 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
((((triple12) -> (rule6 % int3)) ((triple2 ((triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple12) -> (rule6 % int3)) ((triple2 ((triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple12) -> (rule6 % int3)) ((triple2 ((triple9) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple3) -> (rule6 % int3)) ((triple2 ((triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple3) -> (rule6 % int3)) ((triple2 ((triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple3) -> (rule6 % int3)) ((triple2 ((triple9) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple9) -> (rule6 % int3)) ((triple2 ((triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple9) -> (rule6 % int3)) ((triple2 ((triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple9) -> (rule6 % int3)) ((triple2 ((triple9) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
The dog chases the cow.
("dog" "chases" "cow" "+")
((((triple2 ((triple12) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule9 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple2 ((triple3) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule9 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((((triple2 ((triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule9 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple4 ((triple2 ((triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((triple4 ((triple2 ((triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
((triple4 ((triple2 ((triple9) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
The dog chases the dog.
("dog" "chases" "dog" "+")
((((((triple2 ((triple12) -> (rule6 % int4))) -> (rule1 % int3)) triple7) -> (rule9 % int2))) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The cow chases the dog.
("cow" "chases" "dog" "+")
int4
((((((triple2 ((triple3) -> (rule6 % int4))) -> (rule1 % int3)) triple7) -> (rule9 % int2))) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The cow chases the dog.
("cow" "chases" "dog" "+")
int4
((((((triple2 ((triple9) -> (rule6 % int4))) -> (rule1 % int3)) triple7) -> (rule9 % int2))) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The cow chases the dog.
("cow" "chases" "dog" "+")
int4
The dog eats the lion.
("dog" "eats" "lion" "+")
((((((((triple2 ((triple12) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple12) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple12) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple12) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple9) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple3) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple12) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple3) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple3) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple9) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple9) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple12) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple9) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5
((((((((triple2 ((triple9) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule3 % int2)) ((triple2 ((triple9) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The cow chases the dog.
("cow" "chases" "dog" "+")
int5