The bald eagle eats the tiger. The cat chases the mouse. The cat chases the tiger. The cat is nice. The cat sees the tiger. The mouse chases the tiger. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger eats the mouse. The tiger is green. The tiger is nice. The tiger is red. The tiger sees the bald eagle. The tiger sees the mouse. If someone is nice then they eat the tiger. If someone sees the cat and they chase the bald eagle then the bald eagle sees the tiger. If someone is kind and they see the mouse then they chase the bald eagle. If someone is young then they see the mouse. If someone chases the bald eagle then the bald eagle chases the cat. If someone chases the bald eagle and they eat the tiger then the bald eagle is young. If someone sees the mouse then they are kind. If someone sees the cat and the cat is nice then the cat chases the bald eagle.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If someone is nice then they eat the tiger.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "tiger" "+"))
If someone sees the cat and they chase the bald eagle then the bald eagle sees the tiger.
((("someone" "sees" "cat" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "sees" "tiger" "+"))
If someone is kind and they see the mouse then they chase the bald eagle.
((("someone" "is" "kind" "+") ("someone" "sees" "mouse" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is young then they see the mouse.
((("someone" "is" "young" "+")) -> ("someone" "sees" "mouse" "+"))
If someone chases the bald eagle then the bald eagle chases the cat.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "cat" "+"))
If someone chases the bald eagle and they eat the tiger then the bald eagle is young.
((("someone" "chases" "bald eagle" "+") ("someone" "eats" "tiger" "+")) -> ("bald eagle" "is" "young" "+"))
If someone sees the mouse then they are kind.
((("someone" "sees" "mouse" "+")) -> ("someone" "is" "kind" "+"))
If someone sees the cat and the cat is nice then the cat chases the bald eagle.
((("someone" "sees" "cat" "+") ("cat" "is" "nice" "+")) -> ("cat" "chases" "bald eagle" "+"))
The tiger chases the bald eagle.
True
1
proof
[(triple7 OR ((((triple14) -> rule7) triple14) -> rule3))]
("tiger" "chases" "bald eagle" "+")
triple7
((((triple14) -> (rule7 % int2)) triple14) -> (rule3 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger does not eat the mouse.
False
1
inv-proof
[(triple9)]
("tiger" "eats" "mouse" "-")
triple9
The cat eats the tiger.
True
2
proof
[(((triple4) -> rule1))]
("cat" "eats" "tiger" "+")
((triple4) -> (rule1 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The tiger does not eat the tiger.
False
2
inv-proof
[(((triple11) -> rule1))]
("tiger" "eats" "tiger" "-")
((triple11) -> (rule1 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The bald eagle is young.
True
4
proof
[(((triple7 ((triple11) -> rule1)) -> rule6) OR ((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6))]
("bald eagle" "is" "young" "+")
((triple7 ((triple11) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
((((((triple14) -> (rule7 % int4)) triple14) -> (rule3 % int3)) ((triple11) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The bald eagle is not young.
False
4
inv-proof
[(((triple7 ((triple11) -> rule1)) -> rule6) OR ((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6))]
("bald eagle" "is" "young" "-")
((triple7 ((triple11) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
((((((triple14) -> (rule7 % int4)) triple14) -> (rule3 % int3)) ((triple11) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The bald eagle sees the mouse.
True
5
proof
[(((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4))]
("bald eagle" "sees" "mouse" "+")
((((triple7 ((triple11) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
((((((((triple14) -> (rule7 % int5)) triple14) -> (rule3 % int4)) ((triple11) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
The bald eagle does not see the mouse.
False
5
inv-proof
[(((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4))]
("bald eagle" "sees" "mouse" "-")
((((triple7 ((triple11) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
((((((((triple14) -> (rule7 % int5)) triple14) -> (rule3 % int4)) ((triple11) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
The bald eagle is kind.
True
6
proof
[(((((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7))]
("bald eagle" "is" "kind" "+")
((((((triple7 ((triple11) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
((((((((((triple14) -> (rule7 % int6)) triple14) -> (rule3 % int5)) ((triple11) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The bald eagle is not kind.
False
6
inv-proof
[(((((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7))]
("bald eagle" "is" "kind" "-")
((((((triple7 ((triple11) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
((((((((((triple14) -> (rule7 % int6)) triple14) -> (rule3 % int5)) ((triple11) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The bald eagle chases the bald eagle.
True
12
proof
[(((((((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) ((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule3) OR ((((((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) ((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule3) OR ((((((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) ((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule3) OR ((((((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) ((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule3))]
("bald eagle" "chases" "bald eagle" "+")
((((((((triple7 ((triple11) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple7 ((triple11) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3
The bald eagle is young.
("bald eagle" "is" "young" "+")
int4
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int5
((((((((triple7 ((triple11) -> (rule1 % int7))) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule7 % int4)) ((((((((triple14) -> (rule7 % int3)) triple14) -> (rule3 % int2)) ((triple11) -> (rule1 % int7))) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int4
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int5
The bald eagle is young.
("bald eagle" "is" "young" "+")
int6
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int7
((((((((((((triple14) -> (rule7 % int7)) triple14) -> (rule3 % int6)) ((triple11) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple7 ((triple11) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3
The bald eagle is young.
("bald eagle" "is" "young" "+")
int4
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int5
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple14) -> (rule7 % int7)) triple14) -> (rule3 % int6)) ((triple11) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((((((triple14) -> (rule7 % int7)) triple14) -> (rule3 % int6)) ((triple11) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3
The bald eagle is young.
("bald eagle" "is" "young" "+")
int4
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int5
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
The bald eagle does not chase the bald eagle.
False
12
inv-proof
[(((((((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) ((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule3) OR ((((((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) ((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule3) OR ((((((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) ((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule3) OR ((((((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) ((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule3))]
("bald eagle" "chases" "bald eagle" "-")
((((((((triple7 ((triple11) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple7 ((triple11) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3
The bald eagle is young.
("bald eagle" "is" "young" "+")
int4
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int5
((((((((triple7 ((triple11) -> (rule1 % int7))) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule7 % int4)) ((((((((triple14) -> (rule7 % int3)) triple14) -> (rule3 % int2)) ((triple11) -> (rule1 % int7))) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int4
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int5
The bald eagle is young.
("bald eagle" "is" "young" "+")
int6
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int7
((((((((((((triple14) -> (rule7 % int7)) triple14) -> (rule3 % int6)) ((triple11) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple7 ((triple11) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3
The bald eagle is young.
("bald eagle" "is" "young" "+")
int4
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int5
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple14) -> (rule7 % int7)) triple14) -> (rule3 % int6)) ((triple11) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((((((triple14) -> (rule7 % int7)) triple14) -> (rule3 % int6)) ((triple11) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3
The bald eagle is young.
("bald eagle" "is" "young" "+")
int4
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int5
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
The mouse does not see the mouse.
Unknown
inv-rconc
[@1: The mouse sees the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "sees" "mouse" "-")
The mouse is kind.
Unknown
rconc
[@2: The mouse is kind.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("mouse" "is" "kind" "+")
The cat does not see the mouse.
Unknown
inv-rconc
[@1: The cat sees the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "sees" "mouse" "-")
The mouse eats the tiger.
Unknown
rconc
[@1: The mouse eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "tiger" "+")
The bald eagle does not see the tiger.
Unknown
inv-rconc
[@1: The bald eagle sees the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "sees" "tiger" "-")
The cat is kind.
Unknown
rconc
[@2: The cat is kind.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("cat" "is" "kind" "+")
The mouse does not eat the bald eagle.
Unknown
inv-random
[@0: The mouse eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bald eagle" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The cat sees the bald eagle.
Unknown
random
[@0: The cat sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bald eagle" "+")
The tiger is not young.
Unknown
inv-random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "-")
The tiger chases the mouse.
Unknown
random
[@0: The tiger chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "mouse" "+")
@0: The bald eagle eats the tiger.[(triple1)] The cat chases the mouse.[(triple2)] The cat chases the tiger.[(triple3)] The cat is nice.[(triple4)] The cat sees the tiger.[(triple5)] The mouse chases the tiger.[(triple6)] The tiger chases the bald eagle.[(triple7 OR ((((triple14) -> rule7) triple14) -> rule3))] The tiger eats the bald eagle.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger is green.[(triple10)] The tiger is nice.[(triple11)] The tiger is red.[(triple12)] The tiger sees the bald eagle.[(triple13)] The tiger sees the mouse.[(triple14)] @1: The bald eagle chases the cat.[(((triple7) -> rule5) OR ((((((triple14) -> rule7) triple14) -> rule3)) -> rule5) OR ((((((((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) ((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule3)) -> rule5) OR ((((((((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) ((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule3)) -> rule5) OR ((((((((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) ((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule3)) -> rule5) OR ((((((((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) ((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule3)) -> rule5))] The cat eats the tiger.[(((triple4) -> rule1))] The tiger eats the tiger.[(((triple11) -> rule1))] The tiger is kind.[(((triple14) -> rule7))] @2: The bald eagle is young.[(((triple7 ((triple11) -> rule1)) -> rule6) OR ((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6))] @3: The bald eagle sees the mouse.[(((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4))] @4: The bald eagle is kind.[(((((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7))] @5: The bald eagle chases the bald eagle.[(((((((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) ((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule3) OR ((((((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) ((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule3) OR ((((((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) ((((triple7 ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule3) OR ((((((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule7) ((((((((triple14) -> rule7) triple14) -> rule3) ((triple11) -> rule1)) -> rule6)) -> rule4)) -> rule3))]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple2
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple5
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple6
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple7
((((triple14) -> (rule7 % int2)) triple14) -> (rule3 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple8
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple9
The tiger is green.
("tiger" "is" "green" "+")
triple10
The tiger is nice.
("tiger" "is" "nice" "+")
triple11
The tiger is red.
("tiger" "is" "red" "+")
triple12
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple13
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple14
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
((triple7) -> (rule5 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
((((((triple14) -> (rule7 % int3)) triple14) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((((((((((triple7 ((triple11) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple7 ((triple11) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int4
The bald eagle is young.
("bald eagle" "is" "young" "+")
int5
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int6
((((((((((triple7 ((triple11) -> (rule1 % int8))) -> (rule6 % int7))) -> (rule4 % int6))) -> (rule7 % int5)) ((((((((triple14) -> (rule7 % int4)) triple14) -> (rule3 % int3)) ((triple11) -> (rule1 % int8))) -> (rule6 % int7))) -> (rule4 % int6))) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int6
The bald eagle is young.
("bald eagle" "is" "young" "+")
int7
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int8
((((((((((((((triple14) -> (rule7 % int8)) triple14) -> (rule3 % int7)) ((triple11) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple7 ((triple11) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int4
The bald eagle is young.
("bald eagle" "is" "young" "+")
int5
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int6
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int7
The tiger is kind.
("tiger" "is" "kind" "+")
int8
((((((((((((((triple14) -> (rule7 % int8)) triple14) -> (rule3 % int7)) ((triple11) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule7 % int3)) ((((((((triple14) -> (rule7 % int8)) triple14) -> (rule3 % int7)) ((triple11) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int4
The bald eagle is young.
("bald eagle" "is" "young" "+")
int5
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int6
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int7
The tiger is kind.
("tiger" "is" "kind" "+")
int8
The cat eats the tiger.
("cat" "eats" "tiger" "+")
((triple4) -> (rule1 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple11) -> (rule1 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
((triple14) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple7 ((triple11) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
((((((triple14) -> (rule7 % int4)) triple14) -> (rule3 % int3)) ((triple11) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
((((triple7 ((triple11) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
((((((((triple14) -> (rule7 % int5)) triple14) -> (rule3 % int4)) ((triple11) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((((((triple7 ((triple11) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
((((((((((triple14) -> (rule7 % int6)) triple14) -> (rule3 % int5)) ((triple11) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((((((triple7 ((triple11) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple7 ((triple11) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3
The bald eagle is young.
("bald eagle" "is" "young" "+")
int4
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int5
((((((((triple7 ((triple11) -> (rule1 % int7))) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule7 % int4)) ((((((((triple14) -> (rule7 % int3)) triple14) -> (rule3 % int2)) ((triple11) -> (rule1 % int7))) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int4
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int5
The bald eagle is young.
("bald eagle" "is" "young" "+")
int6
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int7
((((((((((((triple14) -> (rule7 % int7)) triple14) -> (rule3 % int6)) ((triple11) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple7 ((triple11) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3
The bald eagle is young.
("bald eagle" "is" "young" "+")
int4
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int5
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7
((((((((((((triple14) -> (rule7 % int7)) triple14) -> (rule3 % int6)) ((triple11) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((((((triple14) -> (rule7 % int7)) triple14) -> (rule3 % int6)) ((triple11) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3
The bald eagle is young.
("bald eagle" "is" "young" "+")
int4
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int5
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
int7