The bald eagle eats the dog. The bald eagle is nice. The bald eagle is rough. The bald eagle is round. The bald eagle likes the dog. The bald eagle needs the dog. The dog eats the bald eagle. The dog is green. The dog is nice. The dog is round. The dog likes the bald eagle. The dog needs the bald eagle. If something needs the dog then it needs the bald eagle. If something eats the dog then the dog needs the bald eagle. If something likes the dog then it eats the dog. If something needs the bald eagle and it likes the dog then it eats the dog. If something needs the dog and the dog needs the bald eagle then the dog is big. If something eats the bald eagle and the bald eagle eats the dog then it likes the dog. If something needs the bald eagle then it is rough. If the bald eagle needs the dog then the dog is rough.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
If something needs the dog then it needs the bald eagle.
((("something" "needs" "dog" "+")) -> ("something" "needs" "bald eagle" "+"))
If something eats the dog then the dog needs the bald eagle.
((("something" "eats" "dog" "+")) -> ("dog" "needs" "bald eagle" "+"))
If something likes the dog then it eats the dog.
((("something" "likes" "dog" "+")) -> ("something" "eats" "dog" "+"))
If something needs the bald eagle and it likes the dog then it eats the dog.
((("something" "needs" "bald eagle" "+") ("something" "likes" "dog" "+")) -> ("something" "eats" "dog" "+"))
If something needs the dog and the dog needs the bald eagle then the dog is big.
((("something" "needs" "dog" "+") ("dog" "needs" "bald eagle" "+")) -> ("dog" "is" "big" "+"))
If something eats the bald eagle and the bald eagle eats the dog then it likes the dog.
((("something" "eats" "bald eagle" "+") ("bald eagle" "eats" "dog" "+")) -> ("something" "likes" "dog" "+"))
If something needs the bald eagle then it is rough.
((("something" "needs" "bald eagle" "+")) -> ("something" "is" "rough" "+"))
If the bald eagle needs the dog then the dog is rough.
((("bald eagle" "needs" "dog" "+")) -> ("dog" "is" "rough" "+"))
The dog eats the bald eagle.
True
1
proof
[(triple7)]
("dog" "eats" "bald eagle" "+")
triple7
The bald eagle does not need the dog.
False
1
inv-proof
[(triple6)]
("bald eagle" "needs" "dog" "-")
triple6
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle eats the dog.[(triple1 OR ((triple5) -> rule3) OR ((((triple6) -> rule1) triple5) -> rule4))] The bald eagle is nice.[(triple2)] The bald eagle is rough.[(triple3 OR ((((triple6) -> rule1)) -> rule7))] The bald eagle is round.[(triple4)] The bald eagle likes the dog.[(triple5)] The bald eagle needs the dog.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog is green.[(triple8)] The dog is nice.[(triple9)] The dog is round.[(triple10)] The dog likes the bald eagle.[(triple11)] The dog needs the bald eagle.[(triple12 OR ((triple1) -> rule2) OR ((((triple5) -> rule3)) -> rule2) OR ((((((triple7 triple1) -> rule6)) -> rule3)) -> rule2) OR ((((((triple6) -> rule1) triple5) -> rule4)) -> rule2) OR ((((((triple7 ((triple5) -> rule3)) -> rule6)) -> rule3)) -> rule2) OR ((((((triple7 ((((triple6) -> rule1) triple5) -> rule4)) -> rule6)) -> rule3)) -> rule2))] @1: The bald eagle needs the bald eagle.[(((triple6) -> rule1))] The dog is big.[(((triple6 triple12) -> rule5) OR ((triple6 ((triple1) -> rule2)) -> rule5) OR ((triple6 ((((triple5) -> rule3)) -> rule2)) -> rule5) OR ((triple6 ((((((triple7 triple1) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((triple6 ((((((triple6) -> rule1) triple5) -> rule4)) -> rule2)) -> rule5) OR ((triple6 ((((((triple7 ((triple5) -> rule3)) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((triple6 ((((((triple7 ((((triple6) -> rule1) triple5) -> rule4)) -> rule6)) -> rule3)) -> rule2)) -> rule5))] The dog is rough.[(((triple12) -> rule7) OR ((triple6) -> rule8) OR ((((triple1) -> rule2)) -> rule7) OR ((((((triple5) -> rule3)) -> rule2)) -> rule7) OR ((((((((triple7 triple1) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((((((((triple6) -> rule1) triple5) -> rule4)) -> rule2)) -> rule7) OR ((((((((triple7 ((triple5) -> rule3)) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((((((((triple7 ((((triple6) -> rule1) triple5) -> rule4)) -> rule6)) -> rule3)) -> rule2)) -> rule7))] The dog likes the dog.[(((triple7 triple1) -> rule6) OR ((triple7 ((triple5) -> rule3)) -> rule6) OR ((triple7 ((((triple6) -> rule1) triple5) -> rule4)) -> rule6))] @2: The dog eats the dog.[(((((triple7 triple1) -> rule6)) -> rule3) OR ((triple12 ((triple7 triple1) -> rule6)) -> rule4) OR ((((triple1) -> rule2) ((triple7 triple1) -> rule6)) -> rule4) OR ((((triple7 ((triple5) -> rule3)) -> rule6)) -> rule3) OR ((triple12 ((triple7 ((triple5) -> rule3)) -> rule6)) -> rule4) OR ((((triple1) -> rule2) ((triple7 ((triple5) -> rule3)) -> rule6)) -> rule4) OR ((((((triple5) -> rule3)) -> rule2) ((triple7 triple1) -> rule6)) -> rule4) OR ((((((triple5) -> rule3)) -> rule2) ((triple7 ((triple5) -> rule3)) -> rule6)) -> rule4) OR ((((triple7 ((((triple6) -> rule1) triple5) -> rule4)) -> rule6)) -> rule3) OR ((triple12 ((triple7 ((((triple6) -> rule1) triple5) -> rule4)) -> rule6)) -> rule4) OR ((((triple1) -> rule2) ((triple7 ((((triple6) -> rule1) triple5) -> rule4)) -> rule6)) -> rule4) OR ((((((((triple6) -> rule1) triple5) -> rule4)) -> rule2) ((triple7 triple1) -> rule6)) -> rule4) OR ((((((triple5) -> rule3)) -> rule2) ((triple7 ((((triple6) -> rule1) triple5) -> rule4)) -> rule6)) -> rule4) OR ((((((((triple6) -> rule1) triple5) -> rule4)) -> rule2) ((triple7 ((triple5) -> rule3)) -> rule6)) -> rule4) OR ((((((((triple6) -> rule1) triple5) -> rule4)) -> rule2) ((triple7 ((((triple6) -> rule1) triple5) -> rule4)) -> rule6)) -> rule4))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
((triple5) -> (rule3 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
((((triple6) -> (rule1 % int2)) triple5) -> (rule4 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
((((triple6) -> (rule1 % int2))) -> (rule7 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple5
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple6
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog is round.
("dog" "is" "round" "+")
triple10
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple11
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple12
((triple1) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
((((((triple7 triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
int3
((((((triple6) -> (rule1 % int3)) triple5) -> (rule4 % int2))) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int3
((((((triple7 ((triple5) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
int3
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int4
((((((triple7 ((((triple6) -> (rule1 % int5)) triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
int3
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int4
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int5
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple6) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The dog is big.
("dog" "is" "big" "+")
((triple6 triple12) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
((triple6 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
((triple6 ((((triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
((triple6 ((((((triple7 triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The dog eats the dog.
("dog" "eats" "dog" "+")
int3
The dog likes the dog.
("dog" "likes" "dog" "+")
int4
((triple6 ((((((triple6) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int4
((triple6 ((((((triple7 ((triple5) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The dog eats the dog.
("dog" "eats" "dog" "+")
int3
The dog likes the dog.
("dog" "likes" "dog" "+")
int4
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int5
((triple6 ((((((triple7 ((((triple6) -> (rule1 % int6)) triple5) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The dog eats the dog.
("dog" "eats" "dog" "+")
int3
The dog likes the dog.
("dog" "likes" "dog" "+")
int4
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int5
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int6
The dog is rough.
("dog" "is" "rough" "+")
((triple12) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
((triple6) -> (rule8 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
((((((triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
((((((((triple7 triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The dog eats the dog.
("dog" "eats" "dog" "+")
int3
The dog likes the dog.
("dog" "likes" "dog" "+")
int4
((((((((triple6) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int4
((((((((triple7 ((triple5) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The dog eats the dog.
("dog" "eats" "dog" "+")
int3
The dog likes the dog.
("dog" "likes" "dog" "+")
int4
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int5
((((((((triple7 ((((triple6) -> (rule1 % int6)) triple5) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The dog eats the dog.
("dog" "eats" "dog" "+")
int3
The dog likes the dog.
("dog" "likes" "dog" "+")
int4
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int5
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int6
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple7 triple1) -> (rule6 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
((triple7 ((triple5) -> (rule3 % int2))) -> (rule6 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
((triple7 ((((triple6) -> (rule1 % int3)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int3
The dog eats the dog.
("dog" "eats" "dog" "+")
((((triple7 triple1) -> (rule6 % int2))) -> (rule3 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
((triple12 ((triple7 triple1) -> (rule6 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
((((triple1) -> (rule2 % int3)) ((triple7 triple1) -> (rule6 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int3
((((triple7 ((triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
((triple12 ((triple7 ((triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
((((triple1) -> (rule2 % int4)) ((triple7 ((triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule2 % int3)) ((triple7 triple1) -> (rule6 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int3
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule2 % int3)) ((triple7 ((triple5) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int3
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int4
((((triple7 ((((triple6) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int4
((triple12 ((triple7 ((((triple6) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int4
((((triple1) -> (rule2 % int5)) ((triple7 ((((triple6) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int4
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int5
((((((((triple6) -> (rule1 % int5)) triple5) -> (rule4 % int4))) -> (rule2 % int3)) ((triple7 triple1) -> (rule6 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int3
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int4
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int5
((((((triple5) -> (rule3 % int5))) -> (rule2 % int4)) ((triple7 ((((triple6) -> (rule1 % int3)) triple5) -> (rule4 % int5))) -> (rule6 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int3
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int4
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int5
((((((((triple6) -> (rule1 % int5)) triple5) -> (rule4 % int4))) -> (rule2 % int3)) ((triple7 ((triple5) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int3
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int4
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int5
((((((((triple6) -> (rule1 % int5)) triple5) -> (rule4 % int4))) -> (rule2 % int3)) ((triple7 ((((triple6) -> (rule1 % int5)) triple5) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int3
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int4
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int5