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