The bald eagle is not red. The bald eagle likes the cow. The bald eagle needs the cow. The cow chases the bald eagle. The cow chases the lion. The cow is blue. The cow is rough. The cow does not like the squirrel. The cow does not need the bald eagle. The cow needs the squirrel. The lion is red. The lion is rough. The lion likes the bald eagle. The lion likes the squirrel. The squirrel chases the lion. The squirrel needs the bald eagle. If something chases the squirrel then it needs the lion. If something chases the cow and the cow needs the lion then the lion chases the squirrel. If something is red then it needs the squirrel. If something chases the squirrel then the squirrel chases the cow. If something likes the cow and it chases the lion then it is young. If something needs the squirrel then it chases the cow. If something chases the squirrel and the squirrel needs the lion then it does not like the lion. If something chases the cow then the cow chases the squirrel.
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow does not like the squirrel.
("cow" "likes" "squirrel" "-")
The cow does not need the bald eagle.
("cow" "needs" "bald eagle" "-")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If something chases the squirrel then it needs the lion.
((("something" "chases" "squirrel" "+")) -> ("something" "needs" "lion" "+"))
If something chases the cow and the cow needs the lion then the lion chases the squirrel.
((("something" "chases" "cow" "+") ("cow" "needs" "lion" "+")) -> ("lion" "chases" "squirrel" "+"))
If something is red then it needs the squirrel.
((("something" "is" "red" "+")) -> ("something" "needs" "squirrel" "+"))
If something chases the squirrel then the squirrel chases the cow.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "chases" "cow" "+"))
If something likes the cow and it chases the lion then it is young.
((("something" "likes" "cow" "+") ("something" "chases" "lion" "+")) -> ("something" "is" "young" "+"))
If something needs the squirrel then it chases the cow.
((("something" "needs" "squirrel" "+")) -> ("something" "chases" "cow" "+"))
If something chases the squirrel and the squirrel needs the lion then it does not like the lion.
((("something" "chases" "squirrel" "+") ("squirrel" "needs" "lion" "+")) -> ("something" "likes" "lion" "-"))
If something chases the cow then the cow chases the squirrel.
((("something" "chases" "cow" "+")) -> ("cow" "chases" "squirrel" "+"))
The bald eagle is not red.
True
1
proof
[(triple1)]
("bald eagle" "is" "red" "-")
triple1
The cow does not need the squirrel.
False
1
inv-proof
[(triple10)]
("cow" "needs" "squirrel" "-")
triple10
The lion needs the squirrel.
True
2
proof
[(((triple11) -> rule3))]
("lion" "needs" "squirrel" "+")
((triple11) -> (rule3 % int1))
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int1
The cow does not chase the cow.
False
2
inv-proof
[(((triple10) -> rule6))]
("cow" "chases" "cow" "-")
((triple10) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The lion chases the cow.
True
3
proof
[(((((triple11) -> rule3)) -> rule6))]
("lion" "chases" "cow" "+")
((((triple11) -> (rule3 % int2))) -> (rule6 % int1))
The lion chases the cow.
("lion" "chases" "cow" "+")
int1
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int2
The lion does not chase the cow.
False
3
inv-proof
[(((((triple11) -> rule3)) -> rule6))]
("lion" "chases" "cow" "-")
((((triple11) -> (rule3 % int2))) -> (rule6 % int1))
The lion chases the cow.
("lion" "chases" "cow" "+")
int1
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int2
The squirrel chases the cow.
True
4
proof
[(((((((triple10) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule4) OR ((((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule4) OR ((((((((triple11) -> rule3)) -> rule6) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule4) OR ((((((triple10) -> rule6) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule4) OR ((((((((triple11) -> rule3)) -> rule6) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule4))]
("squirrel" "chases" "cow" "+")
((((((triple10) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
((((((((triple11) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The lion chases the cow.
("lion" "chases" "cow" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
((((((triple10) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The cow chases the cow.
("cow" "chases" "cow" "+")
int5
((((((((triple11) -> (rule3 % int7))) -> (rule6 % int6)) ((((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The cow chases the cow.
("cow" "chases" "cow" "+")
int5
The lion chases the cow.
("lion" "chases" "cow" "+")
int6
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int7
((((((triple10) -> (rule6 % int7)) ((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The lion chases the cow.
("lion" "chases" "cow" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
The cow chases the cow.
("cow" "chases" "cow" "+")
int7
((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5)) ((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The lion chases the cow.
("lion" "chases" "cow" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
The cow does not need the lion.
False
4
inv-proof
[(((((((triple10) -> rule6)) -> rule8)) -> rule1) OR ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1))]
("cow" "needs" "lion" "-")
((((((triple10) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The cow needs the lion.
("cow" "needs" "lion" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
((((((((triple11) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The cow needs the lion.
("cow" "needs" "lion" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The lion chases the cow.
("lion" "chases" "cow" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
The lion chases the squirrel.
True
7
proof
[(((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((triple11) -> rule3)) -> rule6) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule6)) -> rule8)) -> rule4) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((triple10) -> rule6) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((triple11) -> rule3)) -> rule6) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule6)) -> rule8)) -> rule4) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule4) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule4) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2))]
("lion" "chases" "squirrel" "+")
((((triple10) -> (rule6 % int4)) ((((((triple10) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The cow chases the cow.
("cow" "chases" "cow" "+")
int4
((((((triple11) -> (rule3 % int6))) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The cow chases the cow.
("cow" "chases" "cow" "+")
int4
The lion chases the cow.
("lion" "chases" "cow" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
((((((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The cow chases the cow.
("cow" "chases" "cow" "+")
int5
((((triple10) -> (rule6 % int6)) ((((((((triple11) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The lion chases the cow.
("lion" "chases" "cow" "+")
int4
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int5
The cow chases the cow.
("cow" "chases" "cow" "+")
int6
((((((triple11) -> (rule3 % int5))) -> (rule6 % int4)) ((((((((triple11) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The lion chases the cow.
("lion" "chases" "cow" "+")
int4
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int5
((((((((triple10) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((((((((triple11) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int6))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The lion chases the cow.
("lion" "chases" "cow" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int5
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int6
The cow chases the cow.
("cow" "chases" "cow" "+")
int7
((((((((((triple11) -> (rule3 % int7))) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple10) -> (rule6 % int3))) -> (rule8 % int5))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int4
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int5
The lion chases the cow.
("lion" "chases" "cow" "+")
int6
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int7
((((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The lion chases the cow.
("lion" "chases" "cow" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
The lion does not chase the squirrel.
False
7
inv-proof
[(((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((triple11) -> rule3)) -> rule6) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule6)) -> rule8)) -> rule4) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((triple10) -> rule6) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((triple11) -> rule3)) -> rule6) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule6)) -> rule8)) -> rule4) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule4) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule4) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2))]
("lion" "chases" "squirrel" "-")
((((triple10) -> (rule6 % int4)) ((((((triple10) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The cow chases the cow.
("cow" "chases" "cow" "+")
int4
((((((triple11) -> (rule3 % int6))) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The cow chases the cow.
("cow" "chases" "cow" "+")
int4
The lion chases the cow.
("lion" "chases" "cow" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
((((((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The cow chases the cow.
("cow" "chases" "cow" "+")
int5
((((triple10) -> (rule6 % int6)) ((((((((triple11) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The lion chases the cow.
("lion" "chases" "cow" "+")
int4
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int5
The cow chases the cow.
("cow" "chases" "cow" "+")
int6
((((((triple11) -> (rule3 % int5))) -> (rule6 % int4)) ((((((((triple11) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The lion chases the cow.
("lion" "chases" "cow" "+")
int4
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int5
((((((((triple10) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((((((((triple11) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int6))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The lion chases the cow.
("lion" "chases" "cow" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int5
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int6
The cow chases the cow.
("cow" "chases" "cow" "+")
int7
((((((((((triple11) -> (rule3 % int7))) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple10) -> (rule6 % int3))) -> (rule8 % int5))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int4
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int5
The lion chases the cow.
("lion" "chases" "cow" "+")
int6
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int7
((((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The lion chases the cow.
("lion" "chases" "cow" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
The lion needs the lion.
True
8
proof
[(((((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((((triple11) -> rule3)) -> rule6) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule6)) -> rule8)) -> rule4) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((triple10) -> rule6) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((((triple11) -> rule3)) -> rule6) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule6)) -> rule8)) -> rule4) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule4) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule4) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1))]
("lion" "needs" "lion" "+")
((((((triple10) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The cow chases the cow.
("cow" "chases" "cow" "+")
int5
((((((((triple11) -> (rule3 % int7))) -> (rule6 % int6)) ((((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The cow chases the cow.
("cow" "chases" "cow" "+")
int5
The lion chases the cow.
("lion" "chases" "cow" "+")
int6
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int7
((((((((((triple10) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple10) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int4
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int5
The cow chases the cow.
("cow" "chases" "cow" "+")
int6
((((((triple10) -> (rule6 % int7)) ((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The lion chases the cow.
("lion" "chases" "cow" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
The cow chases the cow.
("cow" "chases" "cow" "+")
int7
((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5)) ((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The lion chases the cow.
("lion" "chases" "cow" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
((((((((((triple10) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule4 % int6)) ((((((((triple11) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int7))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The lion chases the cow.
("lion" "chases" "cow" "+")
int4
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int5
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int6
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int7
The cow chases the cow.
("cow" "chases" "cow" "+")
int8
((((((((((((triple11) -> (rule3 % int8))) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((((((triple10) -> (rule6 % int4))) -> (rule8 % int6))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the cow.
("cow" "chases" "cow" "+")
int4
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int5
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int6
The lion chases the cow.
("lion" "chases" "cow" "+")
int7
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int8
((((((((((((triple11) -> (rule3 % int7))) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((((((((triple11) -> (rule3 % int7))) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int4
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int5
The lion chases the cow.
("lion" "chases" "cow" "+")
int6
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int7
The lion does not need the lion.
False
8
inv-proof
[(((((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((((triple11) -> rule3)) -> rule6) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule6)) -> rule8)) -> rule4) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((triple10) -> rule6) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((((triple11) -> rule3)) -> rule6) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule6)) -> rule8)) -> rule4) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule4) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule4) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1))]
("lion" "needs" "lion" "-")
((((((triple10) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The cow chases the cow.
("cow" "chases" "cow" "+")
int5
((((((((triple11) -> (rule3 % int7))) -> (rule6 % int6)) ((((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The cow chases the cow.
("cow" "chases" "cow" "+")
int5
The lion chases the cow.
("lion" "chases" "cow" "+")
int6
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int7
((((((((((triple10) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple10) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int4
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int5
The cow chases the cow.
("cow" "chases" "cow" "+")
int6
((((((triple10) -> (rule6 % int7)) ((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The lion chases the cow.
("lion" "chases" "cow" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
The cow chases the cow.
("cow" "chases" "cow" "+")
int7
((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5)) ((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The lion chases the cow.
("lion" "chases" "cow" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
((((((((((triple10) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule4 % int6)) ((((((((triple11) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int7))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The lion chases the cow.
("lion" "chases" "cow" "+")
int4
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int5
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int6
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int7
The cow chases the cow.
("cow" "chases" "cow" "+")
int8
((((((((((((triple11) -> (rule3 % int8))) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((((((triple10) -> (rule6 % int4))) -> (rule8 % int6))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the cow.
("cow" "chases" "cow" "+")
int4
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int5
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int6
The lion chases the cow.
("lion" "chases" "cow" "+")
int7
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int8
((((((((((((triple11) -> (rule3 % int7))) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((((((((triple11) -> (rule3 % int7))) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int4
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int5
The lion chases the cow.
("lion" "chases" "cow" "+")
int6
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int7
The lion is not young.
Unknown
inv-rconc
[@1: The lion is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "young" "-")
The squirrel needs the squirrel.
Unknown
rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "needs" "squirrel" "+")
The bald eagle does not need the squirrel.
Unknown
inv-rconc
[@1: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "needs" "squirrel" "-")
The squirrel needs the lion.
Unknown
rconc
[@1: The squirrel needs the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "needs" "lion" "+")
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "young" "-")
The cow is young.
Unknown
rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "young" "+")
The squirrel does not chase the bald eagle.
Unknown
inv-random
[@0: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bald eagle" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
The cow is not round.
Unknown
inv-random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "-")
The lion likes the cow.
Unknown
random
[@0: The lion likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "cow" "+")
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
@0: The bald eagle is not red.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle needs the cow.[(triple3)] The cow chases the bald eagle.[(triple4)] The cow chases the lion.[(triple5)] The cow does not like the squirrel.[(triple8)] The cow does not need the bald eagle.[(triple9)] The cow is blue.[(triple6)] The cow is rough.[(triple7)] The cow needs the squirrel.[(triple10)] The lion is red.[(triple11)] The lion is rough.[(triple12)] The lion likes the bald eagle.[(triple13)] The lion likes the squirrel.[(triple14)] The squirrel chases the lion.[(triple15)] The squirrel needs the bald eagle.[(triple16)] @1: The cow chases the cow.[(((triple10) -> rule6))] The lion needs the squirrel.[(((triple11) -> rule3))] @2: The cow chases the squirrel.[(((((triple10) -> rule6)) -> rule8) OR ((((((triple11) -> rule3)) -> rule6)) -> rule8))] The lion chases the cow.[(((((triple11) -> rule3)) -> rule6))] @3: The cow needs the lion.[(((((((triple10) -> rule6)) -> rule8)) -> rule1) OR ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1))] The squirrel chases the cow.[(((((((triple10) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule4) OR ((((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule4) OR ((((((((triple11) -> rule3)) -> rule6) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule4) OR ((((((triple10) -> rule6) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule4) OR ((((((((triple11) -> rule3)) -> rule6) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule4))] @4: The lion chases the squirrel.[(((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((triple11) -> rule3)) -> rule6) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule6)) -> rule8)) -> rule4) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((triple10) -> rule6) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((triple11) -> rule3)) -> rule6) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule6)) -> rule8)) -> rule4) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule4) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule4) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2))] @5: The lion needs the lion.[(((((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((((triple11) -> rule3)) -> rule6) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule6)) -> rule8)) -> rule4) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((triple10) -> rule6) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((((triple11) -> rule3)) -> rule6) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule6)) -> rule8)) -> rule4) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule4) ((((((triple10) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1) OR ((((((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule4) ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule1))]
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple4
The cow chases the lion.
("cow" "chases" "lion" "+")
triple5
The cow does not like the squirrel.
("cow" "likes" "squirrel" "-")
triple8
The cow does not need the bald eagle.
("cow" "needs" "bald eagle" "-")
triple9
The cow is blue.
("cow" "is" "blue" "+")
triple6
The cow is rough.
("cow" "is" "rough" "+")
triple7
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple10
The lion is red.
("lion" "is" "red" "+")
triple11
The lion is rough.
("lion" "is" "rough" "+")
triple12
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple13
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple14
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple15
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple16
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple10) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
((triple11) -> (rule3 % int1))
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
((((triple10) -> (rule6 % int2))) -> (rule8 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
((((((triple11) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The lion chases the cow.
("lion" "chases" "cow" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The lion chases the cow.
("lion" "chases" "cow" "+")
((((triple11) -> (rule3 % int2))) -> (rule6 % int1))
The lion chases the cow.
("lion" "chases" "cow" "+")
int1
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
((((((triple10) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The cow needs the lion.
("cow" "needs" "lion" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
((((((((triple11) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The cow needs the lion.
("cow" "needs" "lion" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The lion chases the cow.
("lion" "chases" "cow" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
((((((triple10) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
((((((((triple11) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The lion chases the cow.
("lion" "chases" "cow" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
((((((triple10) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The cow chases the cow.
("cow" "chases" "cow" "+")
int5
((((((((triple11) -> (rule3 % int7))) -> (rule6 % int6)) ((((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The cow chases the cow.
("cow" "chases" "cow" "+")
int5
The lion chases the cow.
("lion" "chases" "cow" "+")
int6
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int7
((((((triple10) -> (rule6 % int7)) ((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The lion chases the cow.
("lion" "chases" "cow" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
The cow chases the cow.
("cow" "chases" "cow" "+")
int7
((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5)) ((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The lion chases the cow.
("lion" "chases" "cow" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
((((triple10) -> (rule6 % int4)) ((((((triple10) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The cow chases the cow.
("cow" "chases" "cow" "+")
int4
((((((triple11) -> (rule3 % int6))) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The cow chases the cow.
("cow" "chases" "cow" "+")
int4
The lion chases the cow.
("lion" "chases" "cow" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
((((((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The cow chases the cow.
("cow" "chases" "cow" "+")
int5
((((triple10) -> (rule6 % int6)) ((((((((triple11) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The lion chases the cow.
("lion" "chases" "cow" "+")
int4
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int5
The cow chases the cow.
("cow" "chases" "cow" "+")
int6
((((((triple11) -> (rule3 % int5))) -> (rule6 % int4)) ((((((((triple11) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The lion chases the cow.
("lion" "chases" "cow" "+")
int4
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int5
((((((((triple10) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((((((((triple11) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int6))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The lion chases the cow.
("lion" "chases" "cow" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int5
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int6
The cow chases the cow.
("cow" "chases" "cow" "+")
int7
((((((((((triple11) -> (rule3 % int7))) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple10) -> (rule6 % int3))) -> (rule8 % int5))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int4
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int5
The lion chases the cow.
("lion" "chases" "cow" "+")
int6
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int7
((((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The lion chases the cow.
("lion" "chases" "cow" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
The lion needs the lion.
("lion" "needs" "lion" "+")
((((((triple10) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The cow chases the cow.
("cow" "chases" "cow" "+")
int5
((((((((triple11) -> (rule3 % int7))) -> (rule6 % int6)) ((((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The cow chases the cow.
("cow" "chases" "cow" "+")
int5
The lion chases the cow.
("lion" "chases" "cow" "+")
int6
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int7
((((((((((triple10) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple10) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int4
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int5
The cow chases the cow.
("cow" "chases" "cow" "+")
int6
((((((triple10) -> (rule6 % int7)) ((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The lion chases the cow.
("lion" "chases" "cow" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
The cow chases the cow.
("cow" "chases" "cow" "+")
int7
((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5)) ((((((((triple11) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The lion chases the cow.
("lion" "chases" "cow" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
((((((((((triple10) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule4 % int6)) ((((((((triple11) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int7))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The lion chases the cow.
("lion" "chases" "cow" "+")
int4
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int5
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int6
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int7
The cow chases the cow.
("cow" "chases" "cow" "+")
int8
((((((((((((triple11) -> (rule3 % int8))) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((((((triple10) -> (rule6 % int4))) -> (rule8 % int6))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The cow chases the cow.
("cow" "chases" "cow" "+")
int4
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int5
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int6
The lion chases the cow.
("lion" "chases" "cow" "+")
int7
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int8
((((((((((((triple11) -> (rule3 % int7))) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((((((((triple11) -> (rule3 % int7))) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
int3
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int4
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int5
The lion chases the cow.
("lion" "chases" "cow" "+")
int6
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int7