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