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