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