The bald eagle is kind. The cat likes the bald eagle. The cat likes the squirrel. The squirrel chases the cat. The tiger chases the cat. The tiger is green. The tiger is round. If something likes the cat then the cat chases the tiger. If something chases the bald eagle and the bald eagle likes the tiger then the tiger is round. If something is green then it is kind. If something visits the bald eagle then the bald eagle chases the cat. If something likes the cat and it is cold then it is green. If something chases the cat and the cat likes the squirrel then it is green. If something chases the bald eagle then the bald eagle chases the tiger. If something is kind and green then it visits the bald eagle.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is round.
("tiger" "is" "round" "+")
If something likes the cat then the cat chases the tiger.
((("something" "likes" "cat" "+")) -> ("cat" "chases" "tiger" "+"))
If something chases the bald eagle and the bald eagle likes the tiger then the tiger is round.
((("something" "chases" "bald eagle" "+") ("bald eagle" "likes" "tiger" "+")) -> ("tiger" "is" "round" "+"))
If something is green then it is kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If something visits the bald eagle then the bald eagle chases the cat.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "chases" "cat" "+"))
If something likes the cat and it is cold then it is green.
((("something" "likes" "cat" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If something chases the cat and the cat likes the squirrel then it is green.
((("something" "chases" "cat" "+") ("cat" "likes" "squirrel" "+")) -> ("something" "is" "green" "+"))
If something chases the bald eagle then the bald eagle chases the tiger.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "tiger" "+"))
If something is kind and green then it visits the bald eagle.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "visits" "bald eagle" "+"))
The bald eagle is kind.
True
1
proof
[(triple1 OR ((((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) OR ((((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) OR ((((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) OR ((((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) OR ((((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3))]
("bald eagle" "is" "kind" "+")
triple1
((((((((((triple6) -> (rule3 % int5)) triple6) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
((((((((((triple6) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
((((((((((((triple5 triple3) -> (rule6 % int6))) -> (rule3 % int5)) triple6) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
((((((((((((triple4 triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((triple4 triple3) -> (rule6 % int6))) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int4
The squirrel is kind.
("squirrel" "is" "kind" "+")
int5
The squirrel is green.
("squirrel" "is" "green" "+")
int6
((((((((((((triple5 triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
The tiger is not green.
False
1
inv-proof
[(triple6 OR ((triple5 triple3) -> rule6))]
("tiger" "is" "green" "-")
triple6
((triple5 triple3) -> (rule6 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The squirrel is green.
True
3
proof
[(((triple4 triple3) -> rule6))]
("squirrel" "is" "green" "+")
((triple4 triple3) -> (rule6 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is not green.
False
3
inv-proof
[(((triple4 triple3) -> rule6))]
("squirrel" "is" "green" "-")
((triple4 triple3) -> (rule6 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The tiger visits the bald eagle.
True
4
proof
[(((((triple6) -> rule3) triple6) -> rule8) OR ((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8) OR ((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8) OR ((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8))]
("tiger" "visits" "bald eagle" "+")
((((triple6) -> (rule3 % int2)) triple6) -> (rule8 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
((((triple6) -> (rule3 % int3)) ((triple5 triple3) -> (rule6 % int2))) -> (rule8 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((((((triple5 triple3) -> (rule6 % int3))) -> (rule3 % int2)) triple6) -> (rule8 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
((((((triple5 triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((triple5 triple3) -> (rule6 % int3))) -> (rule8 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The tiger does not visit the bald eagle.
False
4
inv-proof
[(((((triple6) -> rule3) triple6) -> rule8) OR ((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8) OR ((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8) OR ((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8))]
("tiger" "visits" "bald eagle" "-")
((((triple6) -> (rule3 % int2)) triple6) -> (rule8 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
((((triple6) -> (rule3 % int3)) ((triple5 triple3) -> (rule6 % int2))) -> (rule8 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((((((triple5 triple3) -> (rule6 % int3))) -> (rule3 % int2)) triple6) -> (rule8 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
((((((triple5 triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((triple5 triple3) -> (rule6 % int3))) -> (rule8 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The squirrel visits the bald eagle.
True
8
proof
[(((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8))]
("squirrel" "visits" "bald eagle" "+")
((((((triple4 triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((triple4 triple3) -> (rule6 % int3))) -> (rule8 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel does not visit the bald eagle.
False
8
inv-proof
[(((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8))]
("squirrel" "visits" "bald eagle" "-")
((((((triple4 triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((triple4 triple3) -> (rule6 % int3))) -> (rule8 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The bald eagle is green.
True
7
proof
[(((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6) OR ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6) OR ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6) OR ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6) OR ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6))]
("bald eagle" "is" "green" "+")
((((((((triple6) -> (rule3 % int4)) triple6) -> (rule8 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
((((((((triple6) -> (rule3 % int5)) ((triple5 triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
((((((((((triple5 triple3) -> (rule6 % int5))) -> (rule3 % int4)) triple6) -> (rule8 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
int5
((((((((((triple4 triple3) -> (rule6 % int5))) -> (rule3 % int4)) ((triple4 triple3) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
The squirrel is green.
("squirrel" "is" "green" "+")
int5
((((((((((triple5 triple3) -> (rule6 % int5))) -> (rule3 % int4)) ((triple5 triple3) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
int5
The bald eagle is not green.
False
7
inv-proof
[(((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6) OR ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6) OR ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6) OR ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6) OR ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6))]
("bald eagle" "is" "green" "-")
((((((((triple6) -> (rule3 % int4)) triple6) -> (rule8 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
((((((((triple6) -> (rule3 % int5)) ((triple5 triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
((((((((((triple5 triple3) -> (rule6 % int5))) -> (rule3 % int4)) triple6) -> (rule8 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
int5
((((((((((triple4 triple3) -> (rule6 % int5))) -> (rule3 % int4)) ((triple4 triple3) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
The squirrel is green.
("squirrel" "is" "green" "+")
int5
((((((((((triple5 triple3) -> (rule6 % int5))) -> (rule3 % int4)) ((triple5 triple3) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
int5
The bald eagle visits the bald eagle.
True
9
proof
[(((triple1 ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((triple1 ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((triple1 ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((triple1 ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((triple1 ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8))]
("bald eagle" "visits" "bald eagle" "+")
((triple1 ((((((((triple6) -> (rule3 % int5)) triple6) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
((triple1 ((((((((triple6) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
((triple1 ((((((((((triple5 triple3) -> (rule6 % int6))) -> (rule3 % int5)) triple6) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
((triple1 ((((((((((triple4 triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((triple4 triple3) -> (rule6 % int6))) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int4
The squirrel is kind.
("squirrel" "is" "kind" "+")
int5
The squirrel is green.
("squirrel" "is" "green" "+")
int6
((triple1 ((((((((((triple5 triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
((((((((((((triple6) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
((((((((((((triple6) -> (rule3 % int7)) triple6) -> (rule8 % int6))) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((((((((triple6) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int2))) -> (rule8 % int6))) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle is green.
("bald eagle" "is" "green" "+")
int4
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int5
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple6) -> (rule3 % int7)) triple6) -> (rule8 % int6))) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((((((((((triple5 triple3) -> (rule6 % int2))) -> (rule3 % int7)) triple6) -> (rule8 % int6))) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle is green.
("bald eagle" "is" "green" "+")
int4
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int5
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple6) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int7)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple6) -> (rule3 % int9)) triple6) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((((triple4 triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4 triple3) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int8
The tiger is kind.
("tiger" "is" "kind" "+")
int9
((((((((((((triple6) -> (rule3 % int7)) triple6) -> (rule8 % int6))) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((((((((((triple5 triple3) -> (rule6 % int2))) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int2))) -> (rule8 % int6))) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle is green.
("bald eagle" "is" "green" "+")
int4
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int5
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple6) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple6) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple5 triple3) -> (rule6 % int6))) -> (rule3 % int7)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple6) -> (rule3 % int10)) ((triple5 triple3) -> (rule6 % int9))) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((((triple4 triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4 triple3) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int10
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int8
The tiger is green.
("tiger" "is" "green" "+")
int9
((((((((((((triple6) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple5 triple3) -> (rule6 % int6))) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple4 triple3) -> (rule6 % int9))) -> (rule3 % int8)) ((triple4 triple3) -> (rule6 % int9))) -> (rule8 % int7))) -> (rule4 % int6)) triple3) -> (rule6 % int5))) -> (rule3 % int4)) ((((((((triple6) -> (rule3 % int3)) triple6) -> (rule8 % int2))) -> (rule4 % int6)) triple3) -> (rule6 % int5))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int4
The bald eagle is green.
("bald eagle" "is" "green" "+")
int5
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int6
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int7
The squirrel is kind.
("squirrel" "is" "kind" "+")
int8
The squirrel is green.
("squirrel" "is" "green" "+")
int9
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple4 triple3) -> (rule6 % int10))) -> (rule3 % int9)) ((triple4 triple3) -> (rule6 % int10))) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((triple6) -> (rule3 % int4)) ((triple5 triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int10
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int8
The squirrel is kind.
("squirrel" "is" "kind" "+")
int9
((((((((((((((triple4 triple3) -> (rule6 % int10))) -> (rule3 % int9)) ((triple4 triple3) -> (rule6 % int10))) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((((triple5 triple3) -> (rule6 % int4))) -> (rule3 % int3)) triple6) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int10
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int8
The squirrel is kind.
("squirrel" "is" "kind" "+")
int9
((((((((((((((triple5 triple3) -> (rule6 % int10))) -> (rule3 % int9)) triple6) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((((triple4 triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4 triple3) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int10
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int8
The tiger is kind.
("tiger" "is" "kind" "+")
int9
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple4 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple4 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple4 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple4 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int5
The squirrel is kind.
("squirrel" "is" "kind" "+")
int6
The squirrel is green.
("squirrel" "is" "green" "+")
int7
((((((((((((((triple4 triple3) -> (rule6 % int10))) -> (rule3 % int9)) ((triple4 triple3) -> (rule6 % int10))) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((((triple5 triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple5 triple3) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int10
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int8
The squirrel is kind.
("squirrel" "is" "kind" "+")
int9
((((((((((((((triple5 triple3) -> (rule6 % int10))) -> (rule3 % int9)) ((triple5 triple3) -> (rule6 % int10))) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((((triple4 triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4 triple3) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int10
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int8
The tiger is kind.
("tiger" "is" "kind" "+")
int9
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
The bald eagle does not visit the bald eagle.
False
9
inv-proof
[(((triple1 ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((triple1 ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((triple1 ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((triple1 ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((triple1 ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8))]
("bald eagle" "visits" "bald eagle" "-")
((triple1 ((((((((triple6) -> (rule3 % int5)) triple6) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
((triple1 ((((((((triple6) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
((triple1 ((((((((((triple5 triple3) -> (rule6 % int6))) -> (rule3 % int5)) triple6) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
((triple1 ((((((((((triple4 triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((triple4 triple3) -> (rule6 % int6))) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int4
The squirrel is kind.
("squirrel" "is" "kind" "+")
int5
The squirrel is green.
("squirrel" "is" "green" "+")
int6
((triple1 ((((((((((triple5 triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
((((((((((((triple6) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
((((((((((((triple6) -> (rule3 % int7)) triple6) -> (rule8 % int6))) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((((((((triple6) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int2))) -> (rule8 % int6))) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle is green.
("bald eagle" "is" "green" "+")
int4
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int5
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple6) -> (rule3 % int7)) triple6) -> (rule8 % int6))) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((((((((((triple5 triple3) -> (rule6 % int2))) -> (rule3 % int7)) triple6) -> (rule8 % int6))) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle is green.
("bald eagle" "is" "green" "+")
int4
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int5
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple6) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int7)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple6) -> (rule3 % int9)) triple6) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((((triple4 triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4 triple3) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int8
The tiger is kind.
("tiger" "is" "kind" "+")
int9
((((((((((((triple6) -> (rule3 % int7)) triple6) -> (rule8 % int6))) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((((((((((triple5 triple3) -> (rule6 % int2))) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int2))) -> (rule8 % int6))) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle is green.
("bald eagle" "is" "green" "+")
int4
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int5
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple6) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple6) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple5 triple3) -> (rule6 % int6))) -> (rule3 % int7)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple6) -> (rule3 % int10)) ((triple5 triple3) -> (rule6 % int9))) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((((triple4 triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4 triple3) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int10
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int8
The tiger is green.
("tiger" "is" "green" "+")
int9
((((((((((((triple6) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple5 triple3) -> (rule6 % int6))) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple4 triple3) -> (rule6 % int9))) -> (rule3 % int8)) ((triple4 triple3) -> (rule6 % int9))) -> (rule8 % int7))) -> (rule4 % int6)) triple3) -> (rule6 % int5))) -> (rule3 % int4)) ((((((((triple6) -> (rule3 % int3)) triple6) -> (rule8 % int2))) -> (rule4 % int6)) triple3) -> (rule6 % int5))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int4
The bald eagle is green.
("bald eagle" "is" "green" "+")
int5
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int6
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int7
The squirrel is kind.
("squirrel" "is" "kind" "+")
int8
The squirrel is green.
("squirrel" "is" "green" "+")
int9
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple4 triple3) -> (rule6 % int10))) -> (rule3 % int9)) ((triple4 triple3) -> (rule6 % int10))) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((triple6) -> (rule3 % int4)) ((triple5 triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int10
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int8
The squirrel is kind.
("squirrel" "is" "kind" "+")
int9
((((((((((((((triple4 triple3) -> (rule6 % int10))) -> (rule3 % int9)) ((triple4 triple3) -> (rule6 % int10))) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((((triple5 triple3) -> (rule6 % int4))) -> (rule3 % int3)) triple6) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int10
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int8
The squirrel is kind.
("squirrel" "is" "kind" "+")
int9
((((((((((((((triple5 triple3) -> (rule6 % int10))) -> (rule3 % int9)) triple6) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((((triple4 triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4 triple3) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int10
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int8
The tiger is kind.
("tiger" "is" "kind" "+")
int9
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple4 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple4 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple4 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple4 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int5
The squirrel is kind.
("squirrel" "is" "kind" "+")
int6
The squirrel is green.
("squirrel" "is" "green" "+")
int7
((((((((((((((triple4 triple3) -> (rule6 % int10))) -> (rule3 % int9)) ((triple4 triple3) -> (rule6 % int10))) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((((triple5 triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple5 triple3) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int10
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int8
The squirrel is kind.
("squirrel" "is" "kind" "+")
int9
((((((((((((((triple5 triple3) -> (rule6 % int10))) -> (rule3 % int9)) ((triple5 triple3) -> (rule6 % int10))) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((((triple4 triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4 triple3) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int10
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int8
The tiger is kind.
("tiger" "is" "kind" "+")
int9
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
The cat does not visit the bald eagle.
Unknown
inv-rconc
[@2: The cat visits the bald eagle.[CWA. Example of deepest failure = (rule8 <- rule5 <- FAIL)]]
("cat" "visits" "bald eagle" "-")
The cat chases the tiger.
Unknown
rconc
[@1: The cat chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "chases" "tiger" "+")
The bald eagle does not chase the tiger.
Unknown
inv-rconc
[@1: The bald eagle chases the tiger.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "chases" "tiger" "-")
The cat is green.
Unknown
rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "green" "+")
The cat is not kind.
Unknown
inv-rconc
[@2: The cat is kind.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("cat" "is" "kind" "-")
The cat chases the squirrel.
Unknown
random
[@0: The cat chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "squirrel" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The tiger likes the bald eagle.
Unknown
random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "+")
The cat does not visit the tiger.
Unknown
inv-random
[@0: The cat visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "tiger" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
The cat does not like the tiger.
Unknown
inv-random
[@0: The cat likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "tiger" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
@0: The bald eagle is kind.[(triple1 OR ((((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) OR ((((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) OR ((((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) OR ((((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) OR ((((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3))] The cat likes the bald eagle.[(triple2)] The cat likes the squirrel.[(triple3)] The squirrel chases the cat.[(triple4)] The tiger chases the cat.[(triple5)] The tiger is green.[(triple6 OR ((triple5 triple3) -> rule6))] The tiger is round.[(triple7)] @1: The squirrel is green.[(((triple4 triple3) -> rule6))] The tiger is kind.[(((triple6) -> rule3) OR ((((triple5 triple3) -> rule6)) -> rule3))] @2: The squirrel is kind.[(((((triple4 triple3) -> rule6)) -> rule3))] The tiger visits the bald eagle.[(((((triple6) -> rule3) triple6) -> rule8) OR ((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8) OR ((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8) OR ((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8))] @3: The bald eagle chases the cat.[(((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) OR ((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) OR ((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4))] The squirrel visits the bald eagle.[(((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8))] @4: The bald eagle is green.[(((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6) OR ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6) OR ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6) OR ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6) OR ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6))] @5: The bald eagle visits the bald eagle.[(((triple1 ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((triple1 ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((triple1 ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((triple1 ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((triple1 ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((triple6) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) triple6) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple4 triple3) -> rule6)) -> rule3) ((triple4 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8) OR ((((((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule3) ((((((((((triple5 triple3) -> rule6)) -> rule3) ((triple5 triple3) -> rule6)) -> rule8)) -> rule4) triple3) -> rule6)) -> rule8))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
((((((((((triple6) -> (rule3 % int5)) triple6) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
((((((((((triple6) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
((((((((((((triple5 triple3) -> (rule6 % int6))) -> (rule3 % int5)) triple6) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
((((((((((((triple4 triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((triple4 triple3) -> (rule6 % int6))) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int4
The squirrel is kind.
("squirrel" "is" "kind" "+")
int5
The squirrel is green.
("squirrel" "is" "green" "+")
int6
((((((((((((triple5 triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple4
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple5
The tiger is green.
("tiger" "is" "green" "+")
triple6
((triple5 triple3) -> (rule6 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
triple7
The squirrel is green.
("squirrel" "is" "green" "+")
((triple4 triple3) -> (rule6 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
((triple6) -> (rule3 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
((((triple5 triple3) -> (rule6 % int2))) -> (rule3 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
((((triple4 triple3) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
((((triple6) -> (rule3 % int2)) triple6) -> (rule8 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
((((triple6) -> (rule3 % int3)) ((triple5 triple3) -> (rule6 % int2))) -> (rule8 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((((((triple5 triple3) -> (rule6 % int3))) -> (rule3 % int2)) triple6) -> (rule8 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
((((((triple5 triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((triple5 triple3) -> (rule6 % int3))) -> (rule8 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
((((((triple6) -> (rule3 % int3)) triple6) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((((((triple6) -> (rule3 % int4)) ((triple5 triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
((((((((triple5 triple3) -> (rule6 % int4))) -> (rule3 % int3)) triple6) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
((((((((triple4 triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4 triple3) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
((((((((triple5 triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple5 triple3) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
((((((triple4 triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((triple4 triple3) -> (rule6 % int3))) -> (rule8 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The bald eagle is green.
("bald eagle" "is" "green" "+")
((((((((triple6) -> (rule3 % int4)) triple6) -> (rule8 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
((((((((triple6) -> (rule3 % int5)) ((triple5 triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
((((((((((triple5 triple3) -> (rule6 % int5))) -> (rule3 % int4)) triple6) -> (rule8 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
int5
((((((((((triple4 triple3) -> (rule6 % int5))) -> (rule3 % int4)) ((triple4 triple3) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
The squirrel is green.
("squirrel" "is" "green" "+")
int5
((((((((((triple5 triple3) -> (rule6 % int5))) -> (rule3 % int4)) ((triple5 triple3) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
int5
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple1 ((((((((triple6) -> (rule3 % int5)) triple6) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
((triple1 ((((((((triple6) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
((triple1 ((((((((((triple5 triple3) -> (rule6 % int6))) -> (rule3 % int5)) triple6) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
((triple1 ((((((((((triple4 triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((triple4 triple3) -> (rule6 % int6))) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int4
The squirrel is kind.
("squirrel" "is" "kind" "+")
int5
The squirrel is green.
("squirrel" "is" "green" "+")
int6
((triple1 ((((((((((triple5 triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
((((((((((((triple6) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
((((((((((((triple6) -> (rule3 % int7)) triple6) -> (rule8 % int6))) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((((((((triple6) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int2))) -> (rule8 % int6))) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle is green.
("bald eagle" "is" "green" "+")
int4
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int5
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple6) -> (rule3 % int7)) triple6) -> (rule8 % int6))) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((((((((((triple5 triple3) -> (rule6 % int2))) -> (rule3 % int7)) triple6) -> (rule8 % int6))) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle is green.
("bald eagle" "is" "green" "+")
int4
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int5
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple6) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int7)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple6) -> (rule3 % int9)) triple6) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((((triple4 triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4 triple3) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int8
The tiger is kind.
("tiger" "is" "kind" "+")
int9
((((((((((((triple6) -> (rule3 % int7)) triple6) -> (rule8 % int6))) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((((((((((triple5 triple3) -> (rule6 % int2))) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int2))) -> (rule8 % int6))) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle is green.
("bald eagle" "is" "green" "+")
int4
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int5
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple6) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple6) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple5 triple3) -> (rule6 % int6))) -> (rule3 % int7)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple6) -> (rule3 % int10)) ((triple5 triple3) -> (rule6 % int9))) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((((triple4 triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4 triple3) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int10
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int8
The tiger is green.
("tiger" "is" "green" "+")
int9
((((((((((((triple6) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple5 triple3) -> (rule6 % int6))) -> (rule3 % int7)) ((triple5 triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is green.
("tiger" "is" "green" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple4 triple3) -> (rule6 % int9))) -> (rule3 % int8)) ((triple4 triple3) -> (rule6 % int9))) -> (rule8 % int7))) -> (rule4 % int6)) triple3) -> (rule6 % int5))) -> (rule3 % int4)) ((((((((triple6) -> (rule3 % int3)) triple6) -> (rule8 % int2))) -> (rule4 % int6)) triple3) -> (rule6 % int5))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int4
The bald eagle is green.
("bald eagle" "is" "green" "+")
int5
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int6
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int7
The squirrel is kind.
("squirrel" "is" "kind" "+")
int8
The squirrel is green.
("squirrel" "is" "green" "+")
int9
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple4 triple3) -> (rule6 % int10))) -> (rule3 % int9)) ((triple4 triple3) -> (rule6 % int10))) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((triple6) -> (rule3 % int4)) ((triple5 triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int10
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int8
The squirrel is kind.
("squirrel" "is" "kind" "+")
int9
((((((((((((((triple4 triple3) -> (rule6 % int10))) -> (rule3 % int9)) ((triple4 triple3) -> (rule6 % int10))) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((((triple5 triple3) -> (rule6 % int4))) -> (rule3 % int3)) triple6) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int10
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int8
The squirrel is kind.
("squirrel" "is" "kind" "+")
int9
((((((((((((((triple5 triple3) -> (rule6 % int10))) -> (rule3 % int9)) triple6) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((((triple4 triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4 triple3) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int10
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int8
The tiger is kind.
("tiger" "is" "kind" "+")
int9
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((triple6) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) triple6) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7
((((((((((((((triple4 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple4 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple4 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple4 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int5
The squirrel is kind.
("squirrel" "is" "kind" "+")
int6
The squirrel is green.
("squirrel" "is" "green" "+")
int7
((((((((((((((triple4 triple3) -> (rule6 % int10))) -> (rule3 % int9)) ((triple4 triple3) -> (rule6 % int10))) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((((triple5 triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple5 triple3) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int10
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int8
The squirrel is kind.
("squirrel" "is" "kind" "+")
int9
((((((((((((((triple5 triple3) -> (rule6 % int10))) -> (rule3 % int9)) ((triple5 triple3) -> (rule6 % int10))) -> (rule8 % int8))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule3 % int5)) ((((((((((triple4 triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4 triple3) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int7)) triple3) -> (rule6 % int6))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int10
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int7
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int8
The tiger is kind.
("tiger" "is" "kind" "+")
int9
((((((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((((((((((triple5 triple3) -> (rule6 % int7))) -> (rule3 % int6)) ((triple5 triple3) -> (rule6 % int7))) -> (rule8 % int5))) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger is green.
("tiger" "is" "green" "+")
int7