The bald eagle needs the mouse. The bald eagle visits the cow. The cat is green. The cat is rough. The cat needs the bald eagle. The cow chases the cat. The cow is red. The cow needs the mouse. The mouse needs the bald eagle. The mouse needs the cat. The mouse visits the cat. The mouse visits the cow. If the cow chases the mouse then the mouse needs the cat. If someone needs the mouse and the mouse chases the bald eagle then the bald eagle is green. If the mouse chases the bald eagle and the bald eagle visits the cow then the cow needs the bald eagle. If someone needs the bald eagle and the bald eagle is nice then they chase the bald eagle. If someone visits the cat and the cat needs the cow then the cow visits the mouse. If someone needs the bald eagle then the bald eagle is nice. If the cow needs the bald eagle then the bald eagle needs the cat. If someone needs the cat and the cat needs the bald eagle then they chase the cow.
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow is red.
("cow" "is" "red" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
If the cow chases the mouse then the mouse needs the cat.
((("cow" "chases" "mouse" "+")) -> ("mouse" "needs" "cat" "+"))
If someone needs the mouse and the mouse chases the bald eagle then the bald eagle is green.
((("someone" "needs" "mouse" "+") ("mouse" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If the mouse chases the bald eagle and the bald eagle visits the cow then the cow needs the bald eagle.
((("mouse" "chases" "bald eagle" "+") ("bald eagle" "visits" "cow" "+")) -> ("cow" "needs" "bald eagle" "+"))
If someone needs the bald eagle and the bald eagle is nice then they chase the bald eagle.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "is" "nice" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone visits the cat and the cat needs the cow then the cow visits the mouse.
((("someone" "visits" "cat" "+") ("cat" "needs" "cow" "+")) -> ("cow" "visits" "mouse" "+"))
If someone needs the bald eagle then the bald eagle is nice.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
If the cow needs the bald eagle then the bald eagle needs the cat.
((("cow" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "cat" "+"))
If someone needs the cat and the cat needs the bald eagle then they chase the cow.
((("someone" "needs" "cat" "+") ("cat" "needs" "bald eagle" "+")) -> ("someone" "chases" "cow" "+"))
The cat is rough.
True
1
proof
[(triple4)]
("cat" "is" "rough" "+")
triple4
The mouse does not need the cat.
False
1
inv-proof
[(triple10)]
("mouse" "needs" "cat" "-")
triple10
The bald eagle is nice.
True
2
proof
[(((triple5) -> rule6) OR ((triple9) -> rule6))]
("bald eagle" "is" "nice" "+")
((triple5) -> (rule6 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
((triple9) -> (rule6 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is not nice.
False
2
inv-proof
[(((triple5) -> rule6) OR ((triple9) -> rule6))]
("bald eagle" "is" "nice" "-")
((triple5) -> (rule6 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
((triple9) -> (rule6 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The cat chases the bald eagle.
True
4
proof
[(((triple5 ((triple5) -> rule6)) -> rule4) OR ((triple5 ((triple9) -> rule6)) -> rule4))]
("cat" "chases" "bald eagle" "+")
((triple5 ((triple5) -> (rule6 % int2))) -> (rule4 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
((triple5 ((triple9) -> (rule6 % int2))) -> (rule4 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The cat does not chase the bald eagle.
False
4
inv-proof
[(((triple5 ((triple5) -> rule6)) -> rule4) OR ((triple5 ((triple9) -> rule6)) -> rule4))]
("cat" "chases" "bald eagle" "-")
((triple5 ((triple5) -> (rule6 % int2))) -> (rule4 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
((triple5 ((triple9) -> (rule6 % int2))) -> (rule4 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle is green.
True
6
proof
[(((triple1 ((triple9 ((triple5) -> rule6)) -> rule4)) -> rule2) OR ((triple1 ((triple9 ((triple9) -> rule6)) -> rule4)) -> rule2) OR ((triple8 ((triple9 ((triple5) -> rule6)) -> rule4)) -> rule2) OR ((triple8 ((triple9 ((triple9) -> rule6)) -> rule4)) -> rule2))]
("bald eagle" "is" "green" "+")
((triple1 ((triple9 ((triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((triple1 ((triple9 ((triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((triple8 ((triple9 ((triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((triple8 ((triple9 ((triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle is not green.
False
6
inv-proof
[(((triple1 ((triple9 ((triple5) -> rule6)) -> rule4)) -> rule2) OR ((triple1 ((triple9 ((triple9) -> rule6)) -> rule4)) -> rule2) OR ((triple8 ((triple9 ((triple5) -> rule6)) -> rule4)) -> rule2) OR ((triple8 ((triple9 ((triple9) -> rule6)) -> rule4)) -> rule2))]
("bald eagle" "is" "green" "-")
((triple1 ((triple9 ((triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((triple1 ((triple9 ((triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((triple8 ((triple9 ((triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((triple8 ((triple9 ((triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The cow chases the bald eagle.
True
9
proof
[(((((((triple9 ((triple5) -> rule6)) -> rule4) triple2) -> rule3) ((triple5) -> rule6)) -> rule4) OR ((((((triple9 ((triple5) -> rule6)) -> rule4) triple2) -> rule3) ((triple9) -> rule6)) -> rule4) OR ((((((triple9 ((triple9) -> rule6)) -> rule4) triple2) -> rule3) ((triple5) -> rule6)) -> rule4) OR ((((((triple9 ((triple9) -> rule6)) -> rule4) triple2) -> rule3) ((triple9) -> rule6)) -> rule4))]
("cow" "chases" "bald eagle" "+")
((((((triple9 ((triple5) -> (rule6 % int4))) -> (rule4 % int3)) triple2) -> (rule3 % int2)) ((triple5) -> (rule6 % int4))) -> (rule4 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((((((triple9 ((triple5) -> (rule6 % int4))) -> (rule4 % int3)) triple2) -> (rule3 % int2)) ((triple9) -> (rule6 % int4))) -> (rule4 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((((((triple9 ((triple9) -> (rule6 % int4))) -> (rule4 % int3)) triple2) -> (rule3 % int2)) ((triple5) -> (rule6 % int4))) -> (rule4 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((((((triple9 ((triple9) -> (rule6 % int4))) -> (rule4 % int3)) triple2) -> (rule3 % int2)) ((triple9) -> (rule6 % int4))) -> (rule4 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The cow does not chase the bald eagle.
False
9
inv-proof
[(((((((triple9 ((triple5) -> rule6)) -> rule4) triple2) -> rule3) ((triple5) -> rule6)) -> rule4) OR ((((((triple9 ((triple5) -> rule6)) -> rule4) triple2) -> rule3) ((triple9) -> rule6)) -> rule4) OR ((((((triple9 ((triple9) -> rule6)) -> rule4) triple2) -> rule3) ((triple5) -> rule6)) -> rule4) OR ((((((triple9 ((triple9) -> rule6)) -> rule4) triple2) -> rule3) ((triple9) -> rule6)) -> rule4))]
("cow" "chases" "bald eagle" "-")
((((((triple9 ((triple5) -> (rule6 % int4))) -> (rule4 % int3)) triple2) -> (rule3 % int2)) ((triple5) -> (rule6 % int4))) -> (rule4 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((((((triple9 ((triple5) -> (rule6 % int4))) -> (rule4 % int3)) triple2) -> (rule3 % int2)) ((triple9) -> (rule6 % int4))) -> (rule4 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((((((triple9 ((triple9) -> (rule6 % int4))) -> (rule4 % int3)) triple2) -> (rule3 % int2)) ((triple5) -> (rule6 % int4))) -> (rule4 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((((((triple9 ((triple9) -> (rule6 % int4))) -> (rule4 % int3)) triple2) -> (rule3 % int2)) ((triple9) -> (rule6 % int4))) -> (rule4 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle chases the cow.
True
9
proof
[(((((((((triple9 ((triple5) -> rule6)) -> rule4) triple2) -> rule3)) -> rule7) triple5) -> rule8) OR ((((((((triple9 ((triple9) -> rule6)) -> rule4) triple2) -> rule3)) -> rule7) triple5) -> rule8))]
("bald eagle" "chases" "cow" "+")
((((((((triple9 ((triple5) -> (rule6 % int5))) -> (rule4 % int4)) triple2) -> (rule3 % int3))) -> (rule7 % int2)) triple5) -> (rule8 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int3
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((((((((triple9 ((triple9) -> (rule6 % int5))) -> (rule4 % int4)) triple2) -> (rule3 % int3))) -> (rule7 % int2)) triple5) -> (rule8 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int3
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle does not chase the cow.
False
9
inv-proof
[(((((((((triple9 ((triple5) -> rule6)) -> rule4) triple2) -> rule3)) -> rule7) triple5) -> rule8) OR ((((((((triple9 ((triple9) -> rule6)) -> rule4) triple2) -> rule3)) -> rule7) triple5) -> rule8))]
("bald eagle" "chases" "cow" "-")
((((((((triple9 ((triple5) -> (rule6 % int5))) -> (rule4 % int4)) triple2) -> (rule3 % int3))) -> (rule7 % int2)) triple5) -> (rule8 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int3
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((((((((triple9 ((triple9) -> (rule6 % int5))) -> (rule4 % int4)) triple2) -> (rule3 % int3))) -> (rule7 % int2)) triple5) -> (rule8 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int3
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "chases" "cow" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The cat does not chase the cow.
Unknown
inv-rconc
[@1: The cat chases the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "chases" "cow" "-")
The cow visits the mouse.
Unknown
rconc
[@1: The cow visits the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "visits" "mouse" "+")
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The cow visits the bald eagle.
Unknown
random
[@0: The cow visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "bald eagle" "+")
The bald eagle does not visit the mouse.
Unknown
inv-random
[@0: The bald eagle visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "mouse" "-")
The mouse visits the bald eagle.
Unknown
random
[@0: The mouse visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bald eagle" "+")
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The bald eagle chases the cat.
Unknown
random
[@0: The bald eagle chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cat" "+")
@0: The bald eagle needs the mouse.[(triple1)] The bald eagle visits the cow.[(triple2)] The cat is green.[(triple3)] The cat is rough.[(triple4)] The cat needs the bald eagle.[(triple5)] The cow chases the cat.[(triple6)] The cow is red.[(triple7)] The cow needs the mouse.[(triple8)] The mouse needs the bald eagle.[(triple9)] The mouse needs the cat.[(triple10)] The mouse visits the cat.[(triple11)] The mouse visits the cow.[(triple12)] @1: The bald eagle is nice.[(((triple5) -> rule6) OR ((triple9) -> rule6))] The mouse chases the cow.[(((triple10 triple5) -> rule8))] @2: The cat chases the bald eagle.[(((triple5 ((triple5) -> rule6)) -> rule4) OR ((triple5 ((triple9) -> rule6)) -> rule4))] The mouse chases the bald eagle.[(((triple9 ((triple5) -> rule6)) -> rule4) OR ((triple9 ((triple9) -> rule6)) -> rule4))] @3: The bald eagle is green.[(((triple1 ((triple9 ((triple5) -> rule6)) -> rule4)) -> rule2) OR ((triple1 ((triple9 ((triple9) -> rule6)) -> rule4)) -> rule2) OR ((triple8 ((triple9 ((triple5) -> rule6)) -> rule4)) -> rule2) OR ((triple8 ((triple9 ((triple9) -> rule6)) -> rule4)) -> rule2))] The cow needs the bald eagle.[(((((triple9 ((triple5) -> rule6)) -> rule4) triple2) -> rule3) OR ((((triple9 ((triple9) -> rule6)) -> rule4) triple2) -> rule3))] @4: The bald eagle needs the cat.[(((((((triple9 ((triple5) -> rule6)) -> rule4) triple2) -> rule3)) -> rule7) OR ((((((triple9 ((triple9) -> rule6)) -> rule4) triple2) -> rule3)) -> rule7))] The cow chases the bald eagle.[(((((((triple9 ((triple5) -> rule6)) -> rule4) triple2) -> rule3) ((triple5) -> rule6)) -> rule4) OR ((((((triple9 ((triple5) -> rule6)) -> rule4) triple2) -> rule3) ((triple9) -> rule6)) -> rule4) OR ((((((triple9 ((triple9) -> rule6)) -> rule4) triple2) -> rule3) ((triple5) -> rule6)) -> rule4) OR ((((((triple9 ((triple9) -> rule6)) -> rule4) triple2) -> rule3) ((triple9) -> rule6)) -> rule4))] @5: The bald eagle chases the cow.[(((((((((triple9 ((triple5) -> rule6)) -> rule4) triple2) -> rule3)) -> rule7) triple5) -> rule8) OR ((((((((triple9 ((triple9) -> rule6)) -> rule4) triple2) -> rule3)) -> rule7) triple5) -> rule8))]
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple5
The cow chases the cat.
("cow" "chases" "cat" "+")
triple6
The cow is red.
("cow" "is" "red" "+")
triple7
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple8
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple9
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple10
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple11
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple12
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple5) -> (rule6 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
((triple9) -> (rule6 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The mouse chases the cow.
("mouse" "chases" "cow" "+")
((triple10 triple5) -> (rule8 % int1))
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
((triple5 ((triple5) -> (rule6 % int2))) -> (rule4 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
((triple5 ((triple9) -> (rule6 % int2))) -> (rule4 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
((triple9 ((triple5) -> (rule6 % int2))) -> (rule4 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
((triple9 ((triple9) -> (rule6 % int2))) -> (rule4 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple1 ((triple9 ((triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((triple1 ((triple9 ((triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((triple8 ((triple9 ((triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((triple8 ((triple9 ((triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
((((triple9 ((triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple2) -> (rule3 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((((triple9 ((triple9) -> (rule6 % int3))) -> (rule4 % int2)) triple2) -> (rule3 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
((((((triple9 ((triple5) -> (rule6 % int4))) -> (rule4 % int3)) triple2) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((((((triple9 ((triple9) -> (rule6 % int4))) -> (rule4 % int3)) triple2) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
((((((triple9 ((triple5) -> (rule6 % int4))) -> (rule4 % int3)) triple2) -> (rule3 % int2)) ((triple5) -> (rule6 % int4))) -> (rule4 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((((((triple9 ((triple5) -> (rule6 % int4))) -> (rule4 % int3)) triple2) -> (rule3 % int2)) ((triple9) -> (rule6 % int4))) -> (rule4 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((((((triple9 ((triple9) -> (rule6 % int4))) -> (rule4 % int3)) triple2) -> (rule3 % int2)) ((triple5) -> (rule6 % int4))) -> (rule4 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((((((triple9 ((triple9) -> (rule6 % int4))) -> (rule4 % int3)) triple2) -> (rule3 % int2)) ((triple9) -> (rule6 % int4))) -> (rule4 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
((((((((triple9 ((triple5) -> (rule6 % int5))) -> (rule4 % int4)) triple2) -> (rule3 % int3))) -> (rule7 % int2)) triple5) -> (rule8 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int3
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((((((((triple9 ((triple9) -> (rule6 % int5))) -> (rule4 % int4)) triple2) -> (rule3 % int3))) -> (rule7 % int2)) triple5) -> (rule8 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int3
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5