The bald eagle chases the squirrel. The bald eagle eats the squirrel. The bald eagle sees the squirrel. The squirrel chases the bald eagle. The squirrel eats the bald eagle. The squirrel is rough. The squirrel sees the bald eagle. If the squirrel eats the bald eagle and the squirrel chases the bald eagle then the bald eagle eats the squirrel. If something is rough then it is green. If something chases the bald eagle and the bald eagle is blue then the bald eagle is rough. If something eats the squirrel and the squirrel sees the bald eagle then it is blue. If something is green and it sees the squirrel then it eats the bald eagle. If something sees the squirrel then the squirrel sees the bald eagle. If something is rough then it chases the bald eagle. If something sees the squirrel and the squirrel eats the bald eagle then the squirrel chases the bald eagle.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If the squirrel eats the bald eagle and the squirrel chases the bald eagle then the bald eagle eats the squirrel.
((("squirrel" "eats" "bald eagle" "+") ("squirrel" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "squirrel" "+"))
If something is rough then it is green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something chases the bald eagle and the bald eagle is blue then the bald eagle is rough.
((("something" "chases" "bald eagle" "+") ("bald eagle" "is" "blue" "+")) -> ("bald eagle" "is" "rough" "+"))
If something eats the squirrel and the squirrel sees the bald eagle then it is blue.
((("something" "eats" "squirrel" "+") ("squirrel" "sees" "bald eagle" "+")) -> ("something" "is" "blue" "+"))
If something is green and it sees the squirrel then it eats the bald eagle.
((("something" "is" "green" "+") ("something" "sees" "squirrel" "+")) -> ("something" "eats" "bald eagle" "+"))
If something sees the squirrel then the squirrel sees the bald eagle.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
If something is rough then it chases the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "chases" "bald eagle" "+"))
If something sees the squirrel and the squirrel eats the bald eagle then the squirrel chases the bald eagle.
((("something" "sees" "squirrel" "+") ("squirrel" "eats" "bald eagle" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
The bald eagle chases the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "chases" "squirrel" "+")
triple1
The squirrel is not rough.
False
1
inv-proof
[(triple6)]
("squirrel" "is" "rough" "-")
triple6
The bald eagle is blue.
True
3
proof
[(((triple2 triple7) -> rule4) OR ((triple2 ((triple3) -> rule6)) -> rule4) OR ((((triple5 triple4) -> rule1) triple7) -> rule4) OR ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4) OR ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4) OR ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4) OR ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4) OR ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4))]
("bald eagle" "is" "blue" "+")
((triple2 triple7) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
((triple2 ((triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
((((triple5 triple4) -> (rule1 % int2)) triple7) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int2
((((triple5 triple4) -> (rule1 % int3)) ((triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
((((triple5 ((triple6) -> (rule7 % int3))) -> (rule1 % int2)) triple7) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
((((triple5 ((triple3 triple5) -> (rule8 % int3))) -> (rule1 % int2)) triple7) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
((((triple5 ((triple6) -> (rule7 % int4))) -> (rule1 % int3)) ((triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple5 ((triple3 triple5) -> (rule8 % int4))) -> (rule1 % int3)) ((triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
The squirrel is not green.
False
2
inv-proof
[(((triple6) -> rule2))]
("squirrel" "is" "green" "-")
((triple6) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The bald eagle is rough.
True
5
proof
[(((triple4 ((triple2 triple7) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((triple2 triple7) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((triple2 triple7) -> rule4)) -> rule3) OR ((triple4 ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((triple4 ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3) OR ((triple4 ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3) OR ((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3) OR ((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3))]
("bald eagle" "is" "rough" "+")
((triple4 ((triple2 triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
((((triple6) -> (rule7 % int3)) ((triple2 triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
((((triple3 triple5) -> (rule8 % int3)) ((triple2 triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
((triple4 ((triple2 ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
((triple4 ((((triple5 triple4) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
((triple4 ((((triple5 triple4) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
((((triple6) -> (rule7 % int4)) ((triple2 ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple6) -> (rule7 % int4)) ((((triple5 triple4) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple3 triple5) -> (rule8 % int4)) ((triple2 ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple3 triple5) -> (rule8 % int4)) ((((triple5 triple4) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple6) -> (rule7 % int5)) ((((triple5 triple4) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple3 triple5) -> (rule8 % int5)) ((((triple5 triple4) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((triple4 ((((triple5 ((triple6) -> (rule7 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((triple4 ((((triple5 ((triple3 triple5) -> (rule8 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((triple4 ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((triple4 ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple6) -> (rule7 % int4)) ((((triple5 ((triple6) -> (rule7 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple6) -> (rule7 % int4)) ((((triple5 ((triple3 triple5) -> (rule8 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple3 triple5) -> (rule8 % int4)) ((((triple5 ((triple6) -> (rule7 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple3 triple5) -> (rule8 % int4)) ((((triple5 ((triple3 triple5) -> (rule8 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple6) -> (rule7 % int5)) ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple6) -> (rule7 % int5)) ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple3 triple5) -> (rule8 % int5)) ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple3 triple5) -> (rule8 % int5)) ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
The bald eagle is not rough.
False
5
inv-proof
[(((triple4 ((triple2 triple7) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((triple2 triple7) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((triple2 triple7) -> rule4)) -> rule3) OR ((triple4 ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((triple4 ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3) OR ((triple4 ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3) OR ((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3) OR ((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3))]
("bald eagle" "is" "rough" "-")
((triple4 ((triple2 triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
((((triple6) -> (rule7 % int3)) ((triple2 triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
((((triple3 triple5) -> (rule8 % int3)) ((triple2 triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
((triple4 ((triple2 ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
((triple4 ((((triple5 triple4) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
((triple4 ((((triple5 triple4) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
((((triple6) -> (rule7 % int4)) ((triple2 ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple6) -> (rule7 % int4)) ((((triple5 triple4) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple3 triple5) -> (rule8 % int4)) ((triple2 ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple3 triple5) -> (rule8 % int4)) ((((triple5 triple4) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple6) -> (rule7 % int5)) ((((triple5 triple4) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple3 triple5) -> (rule8 % int5)) ((((triple5 triple4) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((triple4 ((((triple5 ((triple6) -> (rule7 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((triple4 ((((triple5 ((triple3 triple5) -> (rule8 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((triple4 ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((triple4 ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple6) -> (rule7 % int4)) ((((triple5 ((triple6) -> (rule7 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple6) -> (rule7 % int4)) ((((triple5 ((triple3 triple5) -> (rule8 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple3 triple5) -> (rule8 % int4)) ((((triple5 ((triple6) -> (rule7 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple3 triple5) -> (rule8 % int4)) ((((triple5 ((triple3 triple5) -> (rule8 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple6) -> (rule7 % int5)) ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple6) -> (rule7 % int5)) ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple3 triple5) -> (rule8 % int5)) ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple3 triple5) -> (rule8 % int5)) ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
The bald eagle is green.
True
6
proof
[(((((triple4 ((triple2 triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((triple2 triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((triple2 triple7) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2))]
("bald eagle" "is" "green" "+")
((((triple4 ((triple2 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
((((((triple6) -> (rule7 % int4)) ((triple2 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((((triple3 triple5) -> (rule8 % int4)) ((triple2 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple4 ((triple2 ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
((((triple4 ((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
((((triple4 ((((triple5 triple4) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
((((((triple6) -> (rule7 % int5)) ((triple2 ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple6) -> (rule7 % int5)) ((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) ((triple2 ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) ((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple6) -> (rule7 % int6)) ((((triple5 triple4) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple3 triple5) -> (rule8 % int6)) ((((triple5 triple4) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((triple4 ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple4 ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple4 ((((triple5 ((triple6) -> (rule7 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((triple4 ((((triple5 ((triple3 triple5) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple6) -> (rule7 % int5)) ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple6) -> (rule7 % int5)) ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple6) -> (rule7 % int6)) ((((triple5 ((triple6) -> (rule7 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple6) -> (rule7 % int6)) ((((triple5 ((triple3 triple5) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple3 triple5) -> (rule8 % int6)) ((((triple5 ((triple6) -> (rule7 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple3 triple5) -> (rule8 % int6)) ((((triple5 ((triple3 triple5) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
The bald eagle does not chase the bald eagle.
False
6
inv-proof
[(((((triple4 ((triple2 triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((triple2 triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((triple2 triple7) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7))]
("bald eagle" "chases" "bald eagle" "-")
((((triple4 ((triple2 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
((((((triple6) -> (rule7 % int4)) ((triple2 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((((triple3 triple5) -> (rule8 % int4)) ((triple2 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple4 ((triple2 ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
((((triple4 ((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
((((triple4 ((((triple5 triple4) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
((((((triple6) -> (rule7 % int5)) ((triple2 ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple6) -> (rule7 % int5)) ((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) ((triple2 ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) ((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple6) -> (rule7 % int6)) ((((triple5 triple4) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple3 triple5) -> (rule8 % int6)) ((((triple5 triple4) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((triple4 ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple4 ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple4 ((((triple5 ((triple6) -> (rule7 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((triple4 ((((triple5 ((triple3 triple5) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple6) -> (rule7 % int5)) ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple6) -> (rule7 % int5)) ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple6) -> (rule7 % int6)) ((((triple5 ((triple6) -> (rule7 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple6) -> (rule7 % int6)) ((((triple5 ((triple3 triple5) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple3 triple5) -> (rule8 % int6)) ((((triple5 ((triple6) -> (rule7 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple3 triple5) -> (rule8 % int6)) ((((triple5 ((triple3 triple5) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
The squirrel is not blue.
Unknown
inv-rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "blue" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle eats the squirrel.[(triple2 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple6) -> rule7)) -> rule1) OR ((triple5 ((triple3 triple5) -> rule8)) -> rule1))] The bald eagle sees the squirrel.[(triple3)] The squirrel chases the bald eagle.[(triple4 OR ((triple6) -> rule7) OR ((triple3 triple5) -> rule8))] The squirrel eats the bald eagle.[(triple5)] The squirrel is rough.[(triple6)] The squirrel sees the bald eagle.[(triple7 OR ((triple3) -> rule6))] @1: The bald eagle is blue.[(((triple2 triple7) -> rule4) OR ((triple2 ((triple3) -> rule6)) -> rule4) OR ((((triple5 triple4) -> rule1) triple7) -> rule4) OR ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4) OR ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4) OR ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4) OR ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4) OR ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4))] The squirrel is green.[(((triple6) -> rule2))] @2: The bald eagle is rough.[(((triple4 ((triple2 triple7) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((triple2 triple7) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((triple2 triple7) -> rule4)) -> rule3) OR ((triple4 ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((triple4 ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3) OR ((triple4 ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3) OR ((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3) OR ((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3))] @3: The bald eagle chases the bald eagle.[(((((triple4 ((triple2 triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((triple2 triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((triple2 triple7) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7))] The bald eagle is green.[(((((triple4 ((triple2 triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((triple2 triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((triple2 triple7) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2))] @4: The bald eagle eats the bald eagle.[(((((((triple4 ((triple2 triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple6) -> rule7) ((triple2 triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple3 triple5) -> rule8) ((triple2 triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((triple4 ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((triple4 ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((triple4 ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple6) -> rule7) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple6) -> rule7) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple3 triple5) -> rule8) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple6) -> rule7) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
((triple5 triple4) -> (rule1 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
((triple5 ((triple6) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
((triple5 ((triple3 triple5) -> (rule8 % int2))) -> (rule1 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple4
((triple6) -> (rule7 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
((triple3 triple5) -> (rule8 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple5
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple6
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple7
((triple3) -> (rule6 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple2 triple7) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
((triple2 ((triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
((((triple5 triple4) -> (rule1 % int2)) triple7) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int2
((((triple5 triple4) -> (rule1 % int3)) ((triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
((((triple5 ((triple6) -> (rule7 % int3))) -> (rule1 % int2)) triple7) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
((((triple5 ((triple3 triple5) -> (rule8 % int3))) -> (rule1 % int2)) triple7) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
((((triple5 ((triple6) -> (rule7 % int4))) -> (rule1 % int3)) ((triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple5 ((triple3 triple5) -> (rule8 % int4))) -> (rule1 % int3)) ((triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
The squirrel is green.
("squirrel" "is" "green" "+")
((triple6) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple4 ((triple2 triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
((((triple6) -> (rule7 % int3)) ((triple2 triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
((((triple3 triple5) -> (rule8 % int3)) ((triple2 triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
((triple4 ((triple2 ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
((triple4 ((((triple5 triple4) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
((triple4 ((((triple5 triple4) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
((((triple6) -> (rule7 % int4)) ((triple2 ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple6) -> (rule7 % int4)) ((((triple5 triple4) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple3 triple5) -> (rule8 % int4)) ((triple2 ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple3 triple5) -> (rule8 % int4)) ((((triple5 triple4) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple6) -> (rule7 % int5)) ((((triple5 triple4) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple3 triple5) -> (rule8 % int5)) ((((triple5 triple4) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((triple4 ((((triple5 ((triple6) -> (rule7 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((triple4 ((((triple5 ((triple3 triple5) -> (rule8 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((triple4 ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((triple4 ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple6) -> (rule7 % int4)) ((((triple5 ((triple6) -> (rule7 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple6) -> (rule7 % int4)) ((((triple5 ((triple3 triple5) -> (rule8 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple3 triple5) -> (rule8 % int4)) ((((triple5 ((triple6) -> (rule7 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple3 triple5) -> (rule8 % int4)) ((((triple5 ((triple3 triple5) -> (rule8 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple6) -> (rule7 % int5)) ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple6) -> (rule7 % int5)) ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple3 triple5) -> (rule8 % int5)) ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple3 triple5) -> (rule8 % int5)) ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((triple4 ((triple2 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
((((((triple6) -> (rule7 % int4)) ((triple2 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((((triple3 triple5) -> (rule8 % int4)) ((triple2 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple4 ((triple2 ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
((((triple4 ((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
((((triple4 ((((triple5 triple4) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
((((((triple6) -> (rule7 % int5)) ((triple2 ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple6) -> (rule7 % int5)) ((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) ((triple2 ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) ((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple6) -> (rule7 % int6)) ((((triple5 triple4) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple3 triple5) -> (rule8 % int6)) ((((triple5 triple4) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((triple4 ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple4 ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple4 ((((triple5 ((triple6) -> (rule7 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((triple4 ((((triple5 ((triple3 triple5) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple6) -> (rule7 % int5)) ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple6) -> (rule7 % int5)) ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple6) -> (rule7 % int6)) ((((triple5 ((triple6) -> (rule7 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple6) -> (rule7 % int6)) ((((triple5 ((triple3 triple5) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple3 triple5) -> (rule8 % int6)) ((((triple5 ((triple6) -> (rule7 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple3 triple5) -> (rule8 % int6)) ((((triple5 ((triple3 triple5) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
The bald eagle is green.
("bald eagle" "is" "green" "+")
((((triple4 ((triple2 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
((((((triple6) -> (rule7 % int4)) ((triple2 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((((triple3 triple5) -> (rule8 % int4)) ((triple2 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((triple4 ((triple2 ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
((((triple4 ((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
((((triple4 ((((triple5 triple4) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
((((((triple6) -> (rule7 % int5)) ((triple2 ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple6) -> (rule7 % int5)) ((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) ((triple2 ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) ((((triple5 triple4) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple6) -> (rule7 % int6)) ((((triple5 triple4) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple3 triple5) -> (rule8 % int6)) ((((triple5 triple4) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((triple4 ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple4 ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((triple4 ((((triple5 ((triple6) -> (rule7 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((triple4 ((((triple5 ((triple3 triple5) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple6) -> (rule7 % int5)) ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple6) -> (rule7 % int5)) ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) ((((triple5 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) ((((triple5 ((triple3 triple5) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple6) -> (rule7 % int6)) ((((triple5 ((triple6) -> (rule7 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple6) -> (rule7 % int6)) ((((triple5 ((triple3 triple5) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple3 triple5) -> (rule8 % int6)) ((((triple5 ((triple6) -> (rule7 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple3 triple5) -> (rule8 % int6)) ((((triple5 ((triple3 triple5) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((((((triple4 ((triple2 triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
((((((((triple6) -> (rule7 % int5)) ((triple2 triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((((triple3 triple5) -> (rule8 % int5)) ((triple2 triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((triple4 ((triple2 ((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int5
((((((triple4 ((((triple5 triple4) -> (rule1 % int5)) triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
((((((triple4 ((((triple5 triple4) -> (rule1 % int6)) ((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int5
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((triple2 ((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((((triple5 triple4) -> (rule1 % int5)) triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((((triple3 triple5) -> (rule8 % int6)) ((triple2 ((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((((triple3 triple5) -> (rule8 % int6)) ((((triple5 triple4) -> (rule1 % int5)) triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((((triple6) -> (rule7 % int7)) ((((triple5 triple4) -> (rule1 % int6)) ((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int5
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int6
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int7
((((((((triple3 triple5) -> (rule8 % int7)) ((((triple5 triple4) -> (rule1 % int6)) ((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int5
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int6
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int7
((((((triple4 ((((triple5 ((triple6) -> (rule7 % int6))) -> (rule1 % int5)) triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple4 ((((triple5 ((triple3 triple5) -> (rule8 % int6))) -> (rule1 % int5)) triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((triple4 ((((triple5 ((triple6) -> (rule7 % int7))) -> (rule1 % int6)) ((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int5
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int6
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int7
((((((triple4 ((((triple5 ((triple3 triple5) -> (rule8 % int7))) -> (rule1 % int6)) ((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int5
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int6
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int7
((((((((triple6) -> (rule7 % int6)) ((((triple5 ((triple6) -> (rule7 % int6))) -> (rule1 % int5)) triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((((triple5 ((triple3 triple5) -> (rule8 % int6))) -> (rule1 % int5)) triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((((triple3 triple5) -> (rule8 % int6)) ((((triple5 ((triple6) -> (rule7 % int6))) -> (rule1 % int5)) triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((((triple3 triple5) -> (rule8 % int6)) ((((triple5 ((triple3 triple5) -> (rule8 % int6))) -> (rule1 % int5)) triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
((((((((triple6) -> (rule7 % int7)) ((((triple5 ((triple6) -> (rule7 % int7))) -> (rule1 % int6)) ((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int5
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int6
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int7
((((((((triple6) -> (rule7 % int7)) ((((triple5 ((triple3 triple5) -> (rule8 % int7))) -> (rule1 % int6)) ((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int5
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int6
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int7
((((((((triple3 triple5) -> (rule8 % int7)) ((((triple5 ((triple6) -> (rule7 % int7))) -> (rule1 % int6)) ((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int5
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int6
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int7
((((((((triple3 triple5) -> (rule8 % int7)) ((((triple5 ((triple3 triple5) -> (rule8 % int7))) -> (rule1 % int6)) ((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int5
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int6
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int7