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