The bald eagle is kind. The bald eagle likes the tiger. The bald eagle needs the mouse. The bald eagle sees the dog. The bald eagle sees the mouse. The bald eagle sees the tiger. The dog is blue. The dog is kind. The dog is nice. The dog is rough. The dog needs the mouse. The dog needs the tiger. The dog sees the mouse. The mouse is kind. The tiger likes the bald eagle. The tiger likes the mouse. If someone is kind then they see the mouse. Young people are blue. If someone likes the bald eagle then they like the mouse. If someone is young and they need the tiger then the tiger sees the dog. If someone sees the tiger and the tiger is young then they need the bald eagle. If someone likes the tiger and the tiger likes the mouse then the tiger is blue. All blue people are kind. If someone sees the mouse and they like the bald eagle then they are young. If someone is blue and they see the dog then the dog likes the tiger.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
If someone is kind then they see the mouse.
((("someone" "is" "kind" "+")) -> ("someone" "sees" "mouse" "+"))
Young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone likes the bald eagle then they like the mouse.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "likes" "mouse" "+"))
If someone is young and they need the tiger then the tiger sees the dog.
((("someone" "is" "young" "+") ("someone" "needs" "tiger" "+")) -> ("tiger" "sees" "dog" "+"))
If someone sees the tiger and the tiger is young then they need the bald eagle.
((("someone" "sees" "tiger" "+") ("tiger" "is" "young" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone likes the tiger and the tiger likes the mouse then the tiger is blue.
((("someone" "likes" "tiger" "+") ("tiger" "likes" "mouse" "+")) -> ("tiger" "is" "blue" "+"))
All blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone sees the mouse and they like the bald eagle then they are young.
((("someone" "sees" "mouse" "+") ("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and they see the dog then the dog likes the tiger.
((("someone" "is" "blue" "+") ("someone" "sees" "dog" "+")) -> ("dog" "likes" "tiger" "+"))
The dog is kind.
True
1
proof
[(triple8 OR ((triple7) -> rule7))]
("dog" "is" "kind" "+")
triple8
((triple7) -> (rule7 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog does not see the mouse.
False
1
inv-proof
[(triple13 OR ((triple8) -> rule1) OR ((((triple7) -> rule7)) -> rule1))]
("dog" "sees" "mouse" "-")
triple13
((triple8) -> (rule1 % int1))
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int1
((((triple7) -> (rule7 % int2))) -> (rule1 % int1))
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The mouse sees the mouse.
True
2
proof
[(((triple14) -> rule1))]
("mouse" "sees" "mouse" "+")
((triple14) -> (rule1 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The tiger is not blue.
False
3
inv-proof
[(((triple2 triple16) -> rule6) OR ((triple2 ((triple15) -> rule3)) -> rule6))]
("tiger" "is" "blue" "-")
((triple2 triple16) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
((triple2 ((triple15) -> (rule3 % int2))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int2
The tiger is kind.
True
4
proof
[(((((triple2 triple16) -> rule6)) -> rule7) OR ((((triple2 ((triple15) -> rule3)) -> rule6)) -> rule7))]
("tiger" "is" "kind" "+")
((((triple2 triple16) -> (rule6 % int2))) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
((((triple2 ((triple15) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int3
The tiger is not kind.
False
4
inv-proof
[(((((triple2 triple16) -> rule6)) -> rule7) OR ((((triple2 ((triple15) -> rule3)) -> rule6)) -> rule7))]
("tiger" "is" "kind" "-")
((((triple2 triple16) -> (rule6 % int2))) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
((((triple2 ((triple15) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int3
The tiger sees the mouse.
True
5
proof
[(((((((triple2 triple16) -> rule6)) -> rule7)) -> rule1) OR ((((((triple2 ((triple15) -> rule3)) -> rule6)) -> rule7)) -> rule1))]
("tiger" "sees" "mouse" "+")
((((((triple2 triple16) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3
((((((triple2 ((triple15) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int4
The tiger does not see the mouse.
False
5
inv-proof
[(((((((triple2 triple16) -> rule6)) -> rule7)) -> rule1) OR ((((((triple2 ((triple15) -> rule3)) -> rule6)) -> rule7)) -> rule1))]
("tiger" "sees" "mouse" "-")
((((((triple2 triple16) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3
((((((triple2 ((triple15) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int4
The tiger is young.
True
7
proof
[(((((((((triple2 triple16) -> rule6)) -> rule7)) -> rule1) triple15) -> rule8) OR ((((((((triple2 ((triple15) -> rule3)) -> rule6)) -> rule7)) -> rule1) triple15) -> rule8))]
("tiger" "is" "young" "+")
((((((((triple2 triple16) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple15) -> (rule8 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is blue.
("tiger" "is" "blue" "+")
int4
((((((((triple2 ((triple15) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple15) -> (rule8 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is blue.
("tiger" "is" "blue" "+")
int4
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int5
The tiger is not young.
False
7
inv-proof
[(((((((((triple2 triple16) -> rule6)) -> rule7)) -> rule1) triple15) -> rule8) OR ((((((((triple2 ((triple15) -> rule3)) -> rule6)) -> rule7)) -> rule1) triple15) -> rule8))]
("tiger" "is" "young" "-")
((((((((triple2 triple16) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple15) -> (rule8 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is blue.
("tiger" "is" "blue" "+")
int4
((((((((triple2 ((triple15) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple15) -> (rule8 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is blue.
("tiger" "is" "blue" "+")
int4
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int5
The bald eagle needs the bald eagle.
True
9
proof
[(((triple6 ((((((((triple2 triple16) -> rule6)) -> rule7)) -> rule1) triple15) -> rule8)) -> rule5) OR ((triple6 ((((((((triple2 ((triple15) -> rule3)) -> rule6)) -> rule7)) -> rule1) triple15) -> rule8)) -> rule5))]
("bald eagle" "needs" "bald eagle" "+")
((triple6 ((((((((triple2 triple16) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) triple15) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The tiger is blue.
("tiger" "is" "blue" "+")
int5
((triple6 ((((((((triple2 ((triple15) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) triple15) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The tiger is blue.
("tiger" "is" "blue" "+")
int5
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int6
The bald eagle does not need the bald eagle.
False
9
inv-proof
[(((triple6 ((((((((triple2 triple16) -> rule6)) -> rule7)) -> rule1) triple15) -> rule8)) -> rule5) OR ((triple6 ((((((((triple2 ((triple15) -> rule3)) -> rule6)) -> rule7)) -> rule1) triple15) -> rule8)) -> rule5))]
("bald eagle" "needs" "bald eagle" "-")
((triple6 ((((((((triple2 triple16) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) triple15) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The tiger is blue.
("tiger" "is" "blue" "+")
int5
((triple6 ((((((((triple2 ((triple15) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) triple15) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The tiger is blue.
("tiger" "is" "blue" "+")
int5
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int6
The bald eagle does not like the mouse.
Unknown
inv-rconc
[@1: The bald eagle likes the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "mouse" "-")
The dog likes the tiger.
Unknown
rconc
[@3: The dog likes the tiger.[CWA. Example of deepest failure = (rule9 <- rule2 <- rule8 <- FAIL)]]
("dog" "likes" "tiger" "+")
The dog does not need the bald eagle.
Unknown
inv-rconc
[@1: The dog needs the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "needs" "bald eagle" "-")
The mouse likes the mouse.
Unknown
rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "likes" "mouse" "+")
The tiger does not see the dog.
Unknown
inv-rconc
[@2: The tiger sees the dog.[CWA. Example of deepest failure = (rule4 <- rule8 <- FAIL)]]
("tiger" "sees" "dog" "-")
The mouse needs the bald eagle.
Unknown
rconc
[@1: The mouse needs the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "needs" "bald eagle" "+")
The tiger does not see the bald eagle.
Unknown
inv-random
[@0: The tiger sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "bald eagle" "-")
The dog sees the bald eagle.
Unknown
random
[@0: The dog sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bald eagle" "+")
The bald eagle does not need the tiger.
Unknown
inv-random
[@0: The bald eagle needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "tiger" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The tiger does not need the dog.
Unknown
inv-random
[@0: The tiger needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "dog" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bald eagle sees the dog.[(triple4)] The bald eagle sees the mouse.[(triple5 OR ((triple1) -> rule1))] The bald eagle sees the tiger.[(triple6)] The dog is blue.[(triple7)] The dog is kind.[(triple8 OR ((triple7) -> rule7))] The dog is nice.[(triple9)] The dog is rough.[(triple10)] The dog needs the mouse.[(triple11)] The dog needs the tiger.[(triple12)] The dog sees the mouse.[(triple13 OR ((triple8) -> rule1) OR ((((triple7) -> rule7)) -> rule1))] The mouse is kind.[(triple14)] The tiger likes the bald eagle.[(triple15)] The tiger likes the mouse.[(triple16 OR ((triple15) -> rule3))] @1: The mouse sees the mouse.[(((triple14) -> rule1))] The tiger is blue.[(((triple2 triple16) -> rule6) OR ((triple2 ((triple15) -> rule3)) -> rule6))] @2: The tiger is kind.[(((((triple2 triple16) -> rule6)) -> rule7) OR ((((triple2 ((triple15) -> rule3)) -> rule6)) -> rule7))] @3: The tiger sees the mouse.[(((((((triple2 triple16) -> rule6)) -> rule7)) -> rule1) OR ((((((triple2 ((triple15) -> rule3)) -> rule6)) -> rule7)) -> rule1))] @4: The tiger is young.[(((((((((triple2 triple16) -> rule6)) -> rule7)) -> rule1) triple15) -> rule8) OR ((((((((triple2 ((triple15) -> rule3)) -> rule6)) -> rule7)) -> rule1) triple15) -> rule8))] @5: The bald eagle needs the bald eagle.[(((triple6 ((((((((triple2 triple16) -> rule6)) -> rule7)) -> rule1) triple15) -> rule8)) -> rule5) OR ((triple6 ((((((((triple2 ((triple15) -> rule3)) -> rule6)) -> rule7)) -> rule1) triple15) -> rule8)) -> rule5))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple4
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple5
((triple1) -> (rule1 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple6
The dog is blue.
("dog" "is" "blue" "+")
triple7
The dog is kind.
("dog" "is" "kind" "+")
triple8
((triple7) -> (rule7 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog is rough.
("dog" "is" "rough" "+")
triple10
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple11
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple12
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple13
((triple8) -> (rule1 % int1))
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int1
((((triple7) -> (rule7 % int2))) -> (rule1 % int1))
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
triple14
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple15
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple16
((triple15) -> (rule3 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple14) -> (rule1 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
((triple2 triple16) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
((triple2 ((triple15) -> (rule3 % int2))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
((((triple2 triple16) -> (rule6 % int2))) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
((((triple2 ((triple15) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int3
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
((((((triple2 triple16) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3
((((((triple2 ((triple15) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int4
The tiger is young.
("tiger" "is" "young" "+")
((((((((triple2 triple16) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple15) -> (rule8 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is blue.
("tiger" "is" "blue" "+")
int4
((((((((triple2 ((triple15) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple15) -> (rule8 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is blue.
("tiger" "is" "blue" "+")
int4
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int5
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple6 ((((((((triple2 triple16) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) triple15) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The tiger is blue.
("tiger" "is" "blue" "+")
int5
((triple6 ((((((((triple2 ((triple15) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) triple15) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The tiger is blue.
("tiger" "is" "blue" "+")
int5
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int6