The bald eagle chases the cat. The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle is red. The bald eagle is round. The bald eagle needs the cat. The bald eagle sees the cat. The cat chases the bald eagle. The cat is big. The cat is blue. The cat is green. The cat is red. The cat is round. The cat needs the bald eagle. The cat sees the bald eagle. If the bald eagle chases the cat and the bald eagle is blue then the cat is green. If someone needs the cat and the cat needs the bald eagle then they chase the bald eagle. If someone chases the cat then they see the cat. If someone chases the cat then they are green. If someone sees the bald eagle then they chase the cat. If the cat is round then the cat needs the bald eagle. If someone chases the bald eagle and they need the cat then they see the bald eagle. If someone chases the bald eagle and they chase the cat then they are round.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
If the bald eagle chases the cat and the bald eagle is blue then the cat is green.
((("bald eagle" "chases" "cat" "+") ("bald eagle" "is" "blue" "+")) -> ("cat" "is" "green" "+"))
If someone needs the cat and the cat needs the bald eagle then they chase the bald eagle.
((("someone" "needs" "cat" "+") ("cat" "needs" "bald eagle" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone chases the cat then they see the cat.
((("someone" "chases" "cat" "+")) -> ("someone" "sees" "cat" "+"))
If someone chases the cat then they are green.
((("someone" "chases" "cat" "+")) -> ("someone" "is" "green" "+"))
If someone sees the bald eagle then they chase the cat.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "chases" "cat" "+"))
If the cat is round then the cat needs the bald eagle.
((("cat" "is" "round" "+")) -> ("cat" "needs" "bald eagle" "+"))
If someone chases the bald eagle and they need the cat then they see the bald eagle.
((("someone" "chases" "bald eagle" "+") ("someone" "needs" "cat" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone chases the bald eagle and they chase the cat then they are round.
((("someone" "chases" "bald eagle" "+") ("someone" "chases" "cat" "+")) -> ("someone" "is" "round" "+"))
The bald eagle sees the cat.
True
1
proof
[(triple8 OR ((triple1) -> rule3) OR ((((((((triple7 triple15) -> rule2) triple7) -> rule7)) -> rule5)) -> rule3) OR ((((((((triple7 ((triple14) -> rule6)) -> rule2) triple7) -> rule7)) -> rule5)) -> rule3) OR ((((((((triple7 ((((triple9 ((triple16) -> rule5)) -> rule8)) -> rule6)) -> rule2) triple7) -> rule7)) -> rule5)) -> rule3))]
("bald eagle" "sees" "cat" "+")
triple8
((triple1) -> (rule3 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
((((((((triple7 triple15) -> (rule2 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
((((((((triple7 ((triple14) -> (rule6 % int5))) -> (rule2 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int5
((((((((triple7 ((((triple9 ((triple16) -> (rule5 % int7))) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule2 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int5
The cat is round.
("cat" "is" "round" "+")
int6
The cat chases the cat.
("cat" "chases" "cat" "+")
int7
The cat does not need the bald eagle.
False
1
inv-proof
[(triple15 OR ((triple14) -> rule6) OR ((((triple9 ((triple16) -> rule5)) -> rule8)) -> rule6))]
("cat" "needs" "bald eagle" "-")
triple15
((triple14) -> (rule6 % int1))
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int1
((((triple9 ((triple16) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The bald eagle chases the bald eagle.
True
3
proof
[(((triple7 triple15) -> rule2) OR ((triple7 ((triple14) -> rule6)) -> rule2) OR ((triple7 ((((triple9 ((triple16) -> rule5)) -> rule8)) -> rule6)) -> rule2))]
("bald eagle" "chases" "bald eagle" "+")
((triple7 triple15) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
((triple7 ((triple14) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int2
((triple7 ((((triple9 ((triple16) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
The bald eagle does not chase the bald eagle.
False
3
inv-proof
[(((triple7 triple15) -> rule2) OR ((triple7 ((triple14) -> rule6)) -> rule2) OR ((triple7 ((((triple9 ((triple16) -> rule5)) -> rule8)) -> rule6)) -> rule2))]
("bald eagle" "chases" "bald eagle" "-")
((triple7 triple15) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
((triple7 ((triple14) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int2
((triple7 ((((triple9 ((triple16) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
The cat sees the cat.
True
3
proof
[(((((triple16) -> rule5)) -> rule3))]
("cat" "sees" "cat" "+")
((((triple16) -> (rule5 % int2))) -> (rule3 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat does not see the cat.
False
3
inv-proof
[(((((triple16) -> rule5)) -> rule3))]
("cat" "sees" "cat" "-")
((((triple16) -> (rule5 % int2))) -> (rule3 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The bald eagle chases the cat.[(triple1 OR ((((((triple7 triple15) -> rule2) triple7) -> rule7)) -> rule5) OR ((((((triple7 ((triple14) -> rule6)) -> rule2) triple7) -> rule7)) -> rule5) OR ((((((triple7 ((((triple9 ((triple16) -> rule5)) -> rule8)) -> rule6)) -> rule2) triple7) -> rule7)) -> rule5))] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is green.[(triple4 OR ((triple1) -> rule4) OR ((((((((triple7 triple15) -> rule2) triple7) -> rule7)) -> rule5)) -> rule4) OR ((((((((triple7 ((triple14) -> rule6)) -> rule2) triple7) -> rule7)) -> rule5)) -> rule4) OR ((((((((triple7 ((((triple9 ((triple16) -> rule5)) -> rule8)) -> rule6)) -> rule2) triple7) -> rule7)) -> rule5)) -> rule4))] The bald eagle is red.[(triple5)] The bald eagle is round.[(triple6 OR ((((triple7 triple15) -> rule2) triple1) -> rule8) OR ((((triple7 ((triple14) -> rule6)) -> rule2) triple1) -> rule8) OR ((((triple7 triple15) -> rule2) ((((((triple7 triple15) -> rule2) triple7) -> rule7)) -> rule5)) -> rule8) OR ((((triple7 ((triple14) -> rule6)) -> rule2) ((((((triple7 triple15) -> rule2) triple7) -> rule7)) -> rule5)) -> rule8) OR ((((triple7 ((((triple9 ((triple16) -> rule5)) -> rule8)) -> rule6)) -> rule2) triple1) -> rule8) OR ((((triple7 triple15) -> rule2) ((((((triple7 ((triple14) -> rule6)) -> rule2) triple7) -> rule7)) -> rule5)) -> rule8) OR ((((triple7 ((triple14) -> rule6)) -> rule2) ((((((triple7 ((triple14) -> rule6)) -> rule2) triple7) -> rule7)) -> rule5)) -> rule8) OR ((((triple7 ((((triple9 ((triple16) -> rule5)) -> rule8)) -> rule6)) -> rule2) ((((((triple7 triple15) -> rule2) triple7) -> rule7)) -> rule5)) -> rule8) OR ((((triple7 ((((triple9 ((triple16) -> rule5)) -> rule8)) -> rule6)) -> rule2) ((((((triple7 ((triple14) -> rule6)) -> rule2) triple7) -> rule7)) -> rule5)) -> rule8) OR ((((triple7 triple15) -> rule2) ((((((triple7 ((((triple9 ((triple16) -> rule5)) -> rule8)) -> rule6)) -> rule2) triple7) -> rule7)) -> rule5)) -> rule8) OR ((((triple7 ((triple14) -> rule6)) -> rule2) ((((((triple7 ((((triple9 ((triple16) -> rule5)) -> rule8)) -> rule6)) -> rule2) triple7) -> rule7)) -> rule5)) -> rule8) OR ((((triple7 ((((triple9 ((triple16) -> rule5)) -> rule8)) -> rule6)) -> rule2) ((((((triple7 ((((triple9 ((triple16) -> rule5)) -> rule8)) -> rule6)) -> rule2) triple7) -> rule7)) -> rule5)) -> rule8))] The bald eagle needs the cat.[(triple7)] The bald eagle sees the cat.[(triple8 OR ((triple1) -> rule3) OR ((((((((triple7 triple15) -> rule2) triple7) -> rule7)) -> rule5)) -> rule3) OR ((((((((triple7 ((triple14) -> rule6)) -> rule2) triple7) -> rule7)) -> rule5)) -> rule3) OR ((((((((triple7 ((((triple9 ((triple16) -> rule5)) -> rule8)) -> rule6)) -> rule2) triple7) -> rule7)) -> rule5)) -> rule3))] The cat chases the bald eagle.[(triple9)] The cat is big.[(triple10)] The cat is blue.[(triple11)] The cat is green.[(triple12 OR ((triple1 triple3) -> rule1) OR ((((triple16) -> rule5)) -> rule4) OR ((((((((triple7 triple15) -> rule2) triple7) -> rule7)) -> rule5) triple3) -> rule1) OR ((((((((triple7 ((triple14) -> rule6)) -> rule2) triple7) -> rule7)) -> rule5) triple3) -> rule1) OR ((((((((triple7 ((((triple9 ((triple16) -> rule5)) -> rule8)) -> rule6)) -> rule2) triple7) -> rule7)) -> rule5) triple3) -> rule1))] The cat is red.[(triple13)] The cat is round.[(triple14 OR ((triple9 ((triple16) -> rule5)) -> rule8))] The cat needs the bald eagle.[(triple15 OR ((triple14) -> rule6) OR ((((triple9 ((triple16) -> rule5)) -> rule8)) -> rule6))] The cat sees the bald eagle.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple7 triple15) -> rule2) OR ((triple7 ((triple14) -> rule6)) -> rule2) OR ((triple7 ((((triple9 ((triple16) -> rule5)) -> rule8)) -> rule6)) -> rule2))] The cat chases the cat.[(((triple16) -> rule5))] @2: The bald eagle sees the bald eagle.[(((((triple7 triple15) -> rule2) triple7) -> rule7) OR ((((triple7 ((triple14) -> rule6)) -> rule2) triple7) -> rule7) OR ((((triple7 ((((triple9 ((triple16) -> rule5)) -> rule8)) -> rule6)) -> rule2) triple7) -> rule7))] The cat sees the cat.[(((((triple16) -> rule5)) -> rule3))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
((((((triple7 triple15) -> (rule2 % int3)) triple7) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3
((((((triple7 ((triple14) -> (rule6 % int4))) -> (rule2 % int3)) triple7) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int4
((((((triple7 ((((triple9 ((triple16) -> (rule5 % int6))) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) triple7) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int4
The cat is round.
("cat" "is" "round" "+")
int5
The cat chases the cat.
("cat" "chases" "cat" "+")
int6
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
((triple1) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
((((((((triple7 triple15) -> (rule2 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
((((((((triple7 ((triple14) -> (rule6 % int5))) -> (rule2 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int5
((((((((triple7 ((((triple9 ((triple16) -> (rule5 % int7))) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule2 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int5
The cat is round.
("cat" "is" "round" "+")
int6
The cat chases the cat.
("cat" "chases" "cat" "+")
int7
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple5
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple6
((((triple7 triple15) -> (rule2 % int2)) triple1) -> (rule8 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
((((triple7 ((triple14) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule8 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int3
((((triple7 triple15) -> (rule2 % int4)) ((((((triple7 triple15) -> (rule2 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
((((triple7 ((triple14) -> (rule6 % int5))) -> (rule2 % int4)) ((((((triple7 triple15) -> (rule2 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int5
((((triple7 ((((triple9 ((triple16) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule8 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The cat chases the cat.
("cat" "chases" "cat" "+")
int5
((((triple7 triple15) -> (rule2 % int5)) ((((((triple7 ((triple14) -> (rule6 % int4))) -> (rule2 % int5)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int4
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int5
((((triple7 ((triple14) -> (rule6 % int5))) -> (rule2 % int4)) ((((((triple7 ((triple14) -> (rule6 % int5))) -> (rule2 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int5
((((triple7 ((((triple9 ((triple16) -> (rule5 % int7))) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule2 % int4)) ((((((triple7 triple15) -> (rule2 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int5
The cat is round.
("cat" "is" "round" "+")
int6
The cat chases the cat.
("cat" "chases" "cat" "+")
int7
((((triple7 ((((triple9 ((triple16) -> (rule5 % int7))) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule2 % int4)) ((((((triple7 ((triple14) -> (rule6 % int5))) -> (rule2 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int5
The cat is round.
("cat" "is" "round" "+")
int6
The cat chases the cat.
("cat" "chases" "cat" "+")
int7
((((triple7 triple15) -> (rule2 % int7)) ((((((triple7 ((((triple9 ((triple16) -> (rule5 % int6))) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int7)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int4
The cat is round.
("cat" "is" "round" "+")
int5
The cat chases the cat.
("cat" "chases" "cat" "+")
int6
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int7
((((triple7 ((triple14) -> (rule6 % int7))) -> (rule2 % int6)) ((((((triple7 ((((triple9 ((triple16) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule6 % int7))) -> (rule2 % int6)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The cat chases the cat.
("cat" "chases" "cat" "+")
int5
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int6
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int7
((((triple7 ((((triple9 ((triple16) -> (rule5 % int7))) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule2 % int4)) ((((((triple7 ((((triple9 ((triple16) -> (rule5 % int7))) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule2 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int5
The cat is round.
("cat" "is" "round" "+")
int6
The cat chases the cat.
("cat" "chases" "cat" "+")
int7
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple7
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple8
((triple1) -> (rule3 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
((((((((triple7 triple15) -> (rule2 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
((((((((triple7 ((triple14) -> (rule6 % int5))) -> (rule2 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int5
((((((((triple7 ((((triple9 ((triple16) -> (rule5 % int7))) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule2 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int5
The cat is round.
("cat" "is" "round" "+")
int6
The cat chases the cat.
("cat" "chases" "cat" "+")
int7
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple9
The cat is big.
("cat" "is" "big" "+")
triple10
The cat is blue.
("cat" "is" "blue" "+")
triple11
The cat is green.
("cat" "is" "green" "+")
triple12
((triple1 triple3) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
((((triple16) -> (rule5 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
((((((((triple7 triple15) -> (rule2 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
((((((((triple7 ((triple14) -> (rule6 % int5))) -> (rule2 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int5
((((((((triple7 ((((triple9 ((triple16) -> (rule5 % int7))) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule2 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int5
The cat is round.
("cat" "is" "round" "+")
int6
The cat chases the cat.
("cat" "chases" "cat" "+")
int7
The cat is red.
("cat" "is" "red" "+")
triple13
The cat is round.
("cat" "is" "round" "+")
triple14
((triple9 ((triple16) -> (rule5 % int2))) -> (rule8 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple15
((triple14) -> (rule6 % int1))
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int1
((((triple9 ((triple16) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple16
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple7 triple15) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
((triple7 ((triple14) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int2
((triple7 ((((triple9 ((triple16) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple16) -> (rule5 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((triple7 triple15) -> (rule2 % int2)) triple7) -> (rule7 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
((((triple7 ((triple14) -> (rule6 % int3))) -> (rule2 % int2)) triple7) -> (rule7 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int3
((((triple7 ((((triple9 ((triple16) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple7) -> (rule7 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The cat chases the cat.
("cat" "chases" "cat" "+")
int5
The cat sees the cat.
("cat" "sees" "cat" "+")
((((triple16) -> (rule5 % int2))) -> (rule3 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2