The bear eats the dog. The bear eats the mouse. The bear is big. The bear is cold. The bear is green. The dog is big. The dog is green. The dog needs the bear. The dog needs the mouse. The mouse chases the bear. The mouse chases the dog. The mouse eats the dog. The mouse is cold. The mouse is kind. The mouse needs the bear. The mouse needs the dog. If the bear eats the mouse and the mouse needs the dog then the bear is young. If something needs the mouse and the mouse needs the bear then the bear needs the dog. If something needs the bear then the bear is cold. If the dog needs the mouse then the mouse is cold. If something eats the dog and the dog needs the bear then the bear is young. If something is cold and kind then it needs the mouse. If something is young and green then it is kind. If something eats the bear and the bear needs the dog then it is green.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
If the bear eats the mouse and the mouse needs the dog then the bear is young.
((("bear" "eats" "mouse" "+") ("mouse" "needs" "dog" "+")) -> ("bear" "is" "young" "+"))
If something needs the mouse and the mouse needs the bear then the bear needs the dog.
((("something" "needs" "mouse" "+") ("mouse" "needs" "bear" "+")) -> ("bear" "needs" "dog" "+"))
If something needs the bear then the bear is cold.
((("something" "needs" "bear" "+")) -> ("bear" "is" "cold" "+"))
If the dog needs the mouse then the mouse is cold.
((("dog" "needs" "mouse" "+")) -> ("mouse" "is" "cold" "+"))
If something eats the dog and the dog needs the bear then the bear is young.
((("something" "eats" "dog" "+") ("dog" "needs" "bear" "+")) -> ("bear" "is" "young" "+"))
If something is cold and kind then it needs the mouse.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "needs" "mouse" "+"))
If something is young and green then it is kind.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If something eats the bear and the bear needs the dog then it is green.
((("something" "eats" "bear" "+") ("bear" "needs" "dog" "+")) -> ("something" "is" "green" "+"))
The bear is big.
True
1
proof
[(triple3)]
("bear" "is" "big" "+")
triple3
The dog does not need the mouse.
False
1
inv-proof
[(triple9)]
("dog" "needs" "mouse" "-")
triple9
The bear is young.
True
3
proof
[(((triple1 triple8) -> rule5) OR ((triple12 triple8) -> rule5) OR ((triple2 triple16) -> rule1))]
("bear" "is" "young" "+")
((triple1 triple8) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
((triple12 triple8) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
((triple2 triple16) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The mouse does not need the mouse.
False
3
inv-proof
[(((triple13 triple14) -> rule6) OR ((((triple9) -> rule4) triple14) -> rule6))]
("mouse" "needs" "mouse" "-")
((triple13 triple14) -> (rule6 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
((((triple9) -> (rule4 % int2)) triple14) -> (rule6 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The bear is kind.
True
5
proof
[(((((triple1 triple8) -> rule5) triple5) -> rule7) OR ((((triple12 triple8) -> rule5) triple5) -> rule7) OR ((((triple2 triple16) -> rule1) triple5) -> rule7))]
("bear" "is" "kind" "+")
((((triple1 triple8) -> (rule5 % int2)) triple5) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
((((triple12 triple8) -> (rule5 % int2)) triple5) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
((((triple2 triple16) -> (rule1 % int2)) triple5) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is not kind.
False
5
inv-proof
[(((((triple1 triple8) -> rule5) triple5) -> rule7) OR ((((triple12 triple8) -> rule5) triple5) -> rule7) OR ((((triple2 triple16) -> rule1) triple5) -> rule7))]
("bear" "is" "kind" "-")
((((triple1 triple8) -> (rule5 % int2)) triple5) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
((((triple12 triple8) -> (rule5 % int2)) triple5) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
((((triple2 triple16) -> (rule1 % int2)) triple5) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear needs the mouse.
True
7
proof
[(((triple4 ((((triple1 triple8) -> rule5) triple5) -> rule7)) -> rule6) OR ((triple4 ((((triple12 triple8) -> rule5) triple5) -> rule7)) -> rule6) OR ((triple4 ((((triple2 triple16) -> rule1) triple5) -> rule7)) -> rule6) OR ((((triple15) -> rule3) ((((triple1 triple8) -> rule5) triple5) -> rule7)) -> rule6) OR ((((triple15) -> rule3) ((((triple12 triple8) -> rule5) triple5) -> rule7)) -> rule6) OR ((((triple15) -> rule3) ((((triple2 triple16) -> rule1) triple5) -> rule7)) -> rule6) OR ((((triple8) -> rule3) ((((triple1 triple8) -> rule5) triple5) -> rule7)) -> rule6) OR ((((triple8) -> rule3) ((((triple12 triple8) -> rule5) triple5) -> rule7)) -> rule6) OR ((((triple8) -> rule3) ((((triple2 triple16) -> rule1) triple5) -> rule7)) -> rule6))]
("bear" "needs" "mouse" "+")
((triple4 ((((triple1 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((triple4 ((((triple12 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((triple4 ((((triple2 triple16) -> (rule1 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((triple15) -> (rule3 % int4)) ((((triple1 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((triple15) -> (rule3 % int4)) ((((triple12 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((triple15) -> (rule3 % int4)) ((((triple2 triple16) -> (rule1 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((triple8) -> (rule3 % int4)) ((((triple1 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((triple8) -> (rule3 % int4)) ((((triple12 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((triple8) -> (rule3 % int4)) ((((triple2 triple16) -> (rule1 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
The bear does not need the mouse.
False
7
inv-proof
[(((triple4 ((((triple1 triple8) -> rule5) triple5) -> rule7)) -> rule6) OR ((triple4 ((((triple12 triple8) -> rule5) triple5) -> rule7)) -> rule6) OR ((triple4 ((((triple2 triple16) -> rule1) triple5) -> rule7)) -> rule6) OR ((((triple15) -> rule3) ((((triple1 triple8) -> rule5) triple5) -> rule7)) -> rule6) OR ((((triple15) -> rule3) ((((triple12 triple8) -> rule5) triple5) -> rule7)) -> rule6) OR ((((triple15) -> rule3) ((((triple2 triple16) -> rule1) triple5) -> rule7)) -> rule6) OR ((((triple8) -> rule3) ((((triple1 triple8) -> rule5) triple5) -> rule7)) -> rule6) OR ((((triple8) -> rule3) ((((triple12 triple8) -> rule5) triple5) -> rule7)) -> rule6) OR ((((triple8) -> rule3) ((((triple2 triple16) -> rule1) triple5) -> rule7)) -> rule6))]
("bear" "needs" "mouse" "-")
((triple4 ((((triple1 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((triple4 ((((triple12 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((triple4 ((((triple2 triple16) -> (rule1 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((triple15) -> (rule3 % int4)) ((((triple1 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((triple15) -> (rule3 % int4)) ((((triple12 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((triple15) -> (rule3 % int4)) ((((triple2 triple16) -> (rule1 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((triple8) -> (rule3 % int4)) ((((triple1 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((triple8) -> (rule3 % int4)) ((((triple12 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((triple8) -> (rule3 % int4)) ((((triple2 triple16) -> (rule1 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
The dog is not kind.
Unknown
inv-rconc
[@1: The dog is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "is" "kind" "-")
The mouse is green.
Unknown
rconc
[@1: The mouse is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "is" "green" "+")
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The dog eats the mouse.
Unknown
random
[@0: The dog eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "mouse" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The dog chases the mouse.
Unknown
random
[@0: The dog chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "mouse" "+")
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 bear chases the mouse.
Unknown
random
[@0: The bear chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "mouse" "+")
@0: The bear eats the dog.[(triple1)] The bear eats the mouse.[(triple2)] The bear is big.[(triple3)] The bear is cold.[(triple4 OR ((triple15) -> rule3) OR ((triple8) -> rule3))] The bear is green.[(triple5)] The dog is big.[(triple6)] The dog is green.[(triple7)] The dog needs the bear.[(triple8)] The dog needs the mouse.[(triple9)] The mouse chases the bear.[(triple10)] The mouse chases the dog.[(triple11)] The mouse eats the dog.[(triple12)] The mouse is cold.[(triple13 OR ((triple9) -> rule4))] The mouse is kind.[(triple14)] The mouse needs the bear.[(triple15)] The mouse needs the dog.[(triple16)] @1: The bear is young.[(((triple1 triple8) -> rule5) OR ((triple12 triple8) -> rule5) OR ((triple2 triple16) -> rule1))] The bear needs the dog.[(((triple9 triple15) -> rule2) OR ((((triple13 triple14) -> rule6) triple15) -> rule2) OR ((((((triple9) -> rule4) triple14) -> rule6) triple15) -> rule2) OR ((((triple4 ((((triple1 triple8) -> rule5) triple5) -> rule7)) -> rule6) triple15) -> rule2) OR ((((triple4 ((((triple12 triple8) -> rule5) triple5) -> rule7)) -> rule6) triple15) -> rule2) OR ((((triple4 ((((triple2 triple16) -> rule1) triple5) -> rule7)) -> rule6) triple15) -> rule2) OR ((((((triple15) -> rule3) ((((triple1 triple8) -> rule5) triple5) -> rule7)) -> rule6) triple15) -> rule2) OR ((((((triple15) -> rule3) ((((triple12 triple8) -> rule5) triple5) -> rule7)) -> rule6) triple15) -> rule2) OR ((((((triple15) -> rule3) ((((triple2 triple16) -> rule1) triple5) -> rule7)) -> rule6) triple15) -> rule2) OR ((((((triple8) -> rule3) ((((triple1 triple8) -> rule5) triple5) -> rule7)) -> rule6) triple15) -> rule2) OR ((((((triple8) -> rule3) ((((triple12 triple8) -> rule5) triple5) -> rule7)) -> rule6) triple15) -> rule2) OR ((((((triple8) -> rule3) ((((triple2 triple16) -> rule1) triple5) -> rule7)) -> rule6) triple15) -> rule2))] The mouse needs the mouse.[(((triple13 triple14) -> rule6) OR ((((triple9) -> rule4) triple14) -> rule6))] @2: The bear is kind.[(((((triple1 triple8) -> rule5) triple5) -> rule7) OR ((((triple12 triple8) -> rule5) triple5) -> rule7) OR ((((triple2 triple16) -> rule1) triple5) -> rule7))] @3: The bear needs the mouse.[(((triple4 ((((triple1 triple8) -> rule5) triple5) -> rule7)) -> rule6) OR ((triple4 ((((triple12 triple8) -> rule5) triple5) -> rule7)) -> rule6) OR ((triple4 ((((triple2 triple16) -> rule1) triple5) -> rule7)) -> rule6) OR ((((triple15) -> rule3) ((((triple1 triple8) -> rule5) triple5) -> rule7)) -> rule6) OR ((((triple15) -> rule3) ((((triple12 triple8) -> rule5) triple5) -> rule7)) -> rule6) OR ((((triple15) -> rule3) ((((triple2 triple16) -> rule1) triple5) -> rule7)) -> rule6) OR ((((triple8) -> rule3) ((((triple1 triple8) -> rule5) triple5) -> rule7)) -> rule6) OR ((((triple8) -> rule3) ((((triple12 triple8) -> rule5) triple5) -> rule7)) -> rule6) OR ((((triple8) -> rule3) ((((triple2 triple16) -> rule1) triple5) -> rule7)) -> rule6))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
((triple15) -> (rule3 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
((triple8) -> (rule3 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is green.
("bear" "is" "green" "+")
triple5
The dog is big.
("dog" "is" "big" "+")
triple6
The dog is green.
("dog" "is" "green" "+")
triple7
The dog needs the bear.
("dog" "needs" "bear" "+")
triple8
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple9
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple10
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple11
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple12
The mouse is cold.
("mouse" "is" "cold" "+")
triple13
((triple9) -> (rule4 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
triple14
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple15
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple16
The bear is young.
("bear" "is" "young" "+")
((triple1 triple8) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
((triple12 triple8) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
((triple2 triple16) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
((triple9 triple15) -> (rule2 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
((((triple13 triple14) -> (rule6 % int2)) triple15) -> (rule2 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
((((((triple9) -> (rule4 % int3)) triple14) -> (rule6 % int2)) triple15) -> (rule2 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
((((triple4 ((((triple1 triple8) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule6 % int2)) triple15) -> (rule2 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4
((((triple4 ((((triple12 triple8) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule6 % int2)) triple15) -> (rule2 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4
((((triple4 ((((triple2 triple16) -> (rule1 % int4)) triple5) -> (rule7 % int3))) -> (rule6 % int2)) triple15) -> (rule2 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4
((((((triple15) -> (rule3 % int5)) ((((triple1 triple8) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule6 % int2)) triple15) -> (rule2 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
((((((triple15) -> (rule3 % int5)) ((((triple12 triple8) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule6 % int2)) triple15) -> (rule2 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
((((((triple15) -> (rule3 % int5)) ((((triple2 triple16) -> (rule1 % int4)) triple5) -> (rule7 % int3))) -> (rule6 % int2)) triple15) -> (rule2 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
((((((triple8) -> (rule3 % int5)) ((((triple1 triple8) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule6 % int2)) triple15) -> (rule2 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
((((((triple8) -> (rule3 % int5)) ((((triple12 triple8) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule6 % int2)) triple15) -> (rule2 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
((((((triple8) -> (rule3 % int5)) ((((triple2 triple16) -> (rule1 % int4)) triple5) -> (rule7 % int3))) -> (rule6 % int2)) triple15) -> (rule2 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((triple13 triple14) -> (rule6 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
((((triple9) -> (rule4 % int2)) triple14) -> (rule6 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
((((triple1 triple8) -> (rule5 % int2)) triple5) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
((((triple12 triple8) -> (rule5 % int2)) triple5) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
((((triple2 triple16) -> (rule1 % int2)) triple5) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear needs the mouse.
("bear" "needs" "mouse" "+")
((triple4 ((((triple1 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((triple4 ((((triple12 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((triple4 ((((triple2 triple16) -> (rule1 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((triple15) -> (rule3 % int4)) ((((triple1 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((triple15) -> (rule3 % int4)) ((((triple12 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((triple15) -> (rule3 % int4)) ((((triple2 triple16) -> (rule1 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((triple8) -> (rule3 % int4)) ((((triple1 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((triple8) -> (rule3 % int4)) ((((triple12 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((triple8) -> (rule3 % int4)) ((((triple2 triple16) -> (rule1 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4