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