The bear is kind. The bear is young. The bear needs the cat. The bear visits the squirrel. The cat chases the bear. The cat is green. The cat visits the bear. The cat visits the mouse. The mouse needs the bear. The squirrel is red. The squirrel visits the bear. The squirrel visits the cat. If the squirrel chases the cat then the squirrel is cold. If someone chases the mouse then the mouse is cold. If someone is green then they need the cat. If someone is kind then they need the squirrel. If someone is cold and they chase the cat then the cat is kind. If someone visits the bear and the bear needs the squirrel then the squirrel chases the cat.
The bear is kind.
("bear" "is" "kind" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is green.
("cat" "is" "green" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If the squirrel chases the cat then the squirrel is cold.
((("squirrel" "chases" "cat" "+")) -> ("squirrel" "is" "cold" "+"))
If someone chases the mouse then the mouse is cold.
((("someone" "chases" "mouse" "+")) -> ("mouse" "is" "cold" "+"))
If someone is green then they need the cat.
((("someone" "is" "green" "+")) -> ("someone" "needs" "cat" "+"))
If someone is kind then they need the squirrel.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone is cold and they chase the cat then the cat is kind.
((("someone" "is" "cold" "+") ("someone" "chases" "cat" "+")) -> ("cat" "is" "kind" "+"))
If someone visits the bear and the bear needs the squirrel then the squirrel chases the cat.
((("someone" "visits" "bear" "+") ("bear" "needs" "squirrel" "+")) -> ("squirrel" "chases" "cat" "+"))
The bear is kind.
True
1
proof
[(triple1)]
("bear" "is" "kind" "+")
triple1
The squirrel is not red.
False
1
inv-proof
[(triple10)]
("squirrel" "is" "red" "-")
triple10
The bear needs the squirrel.
True
2
proof
[(((triple1) -> rule4))]
("bear" "needs" "squirrel" "+")
((triple1) -> (rule4 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The bear does not need the squirrel.
False
2
inv-proof
[(((triple1) -> rule4))]
("bear" "needs" "squirrel" "-")
((triple1) -> (rule4 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The squirrel chases the cat.
True
4
proof
[(((triple11 ((triple1) -> rule4)) -> rule6) OR ((triple7 ((triple1) -> rule4)) -> rule6))]
("squirrel" "chases" "cat" "+")
((triple11 ((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
((triple7 ((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
The squirrel does not chase the cat.
False
4
inv-proof
[(((triple11 ((triple1) -> rule4)) -> rule6) OR ((triple7 ((triple1) -> rule4)) -> rule6))]
("squirrel" "chases" "cat" "-")
((triple11 ((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
((triple7 ((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
The squirrel is cold.
True
5
proof
[(((((triple11 ((triple1) -> rule4)) -> rule6)) -> rule1) OR ((((triple7 ((triple1) -> rule4)) -> rule6)) -> rule1))]
("squirrel" "is" "cold" "+")
((((triple11 ((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
((((triple7 ((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
The squirrel is not cold.
False
5
inv-proof
[(((((triple11 ((triple1) -> rule4)) -> rule6)) -> rule1) OR ((((triple7 ((triple1) -> rule4)) -> rule6)) -> rule1))]
("squirrel" "is" "cold" "-")
((((triple11 ((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
((((triple7 ((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
The cat is kind.
True
10
proof
[(((((((triple11 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple11 ((triple1) -> rule4)) -> rule6)) -> rule5) OR ((((((triple11 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple7 ((triple1) -> rule4)) -> rule6)) -> rule5) OR ((((((triple7 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple11 ((triple1) -> rule4)) -> rule6)) -> rule5) OR ((((((triple7 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple7 ((triple1) -> rule4)) -> rule6)) -> rule5))]
("cat" "is" "kind" "+")
((((((triple11 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple11 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int4
((((((triple11 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple7 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int4
((((((triple7 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple11 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int4
((((((triple7 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple7 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int4
The cat is not kind.
False
10
inv-proof
[(((((((triple11 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple11 ((triple1) -> rule4)) -> rule6)) -> rule5) OR ((((((triple11 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple7 ((triple1) -> rule4)) -> rule6)) -> rule5) OR ((((((triple7 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple11 ((triple1) -> rule4)) -> rule6)) -> rule5) OR ((((((triple7 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple7 ((triple1) -> rule4)) -> rule6)) -> rule5))]
("cat" "is" "kind" "-")
((((((triple11 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple11 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int4
((((((triple11 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple7 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int4
((((((triple7 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple11 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int4
((((((triple7 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple7 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int4
The cat needs the squirrel.
True
11
proof
[(((((((((triple11 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple11 ((triple1) -> rule4)) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple11 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple7 ((triple1) -> rule4)) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple7 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple11 ((triple1) -> rule4)) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple7 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple7 ((triple1) -> rule4)) -> rule6)) -> rule5)) -> rule4))]
("cat" "needs" "squirrel" "+")
((((((((triple11 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple11 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int5
((((((((triple11 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple7 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int5
((((((((triple7 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple11 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int5
((((((((triple7 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple7 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int5
The cat does not need the squirrel.
False
11
inv-proof
[(((((((((triple11 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple11 ((triple1) -> rule4)) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple11 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple7 ((triple1) -> rule4)) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple7 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple11 ((triple1) -> rule4)) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple7 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple7 ((triple1) -> rule4)) -> rule6)) -> rule5)) -> rule4))]
("cat" "needs" "squirrel" "-")
((((((((triple11 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple11 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int5
((((((((triple11 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple7 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int5
((((((((triple7 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple11 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int5
((((((((triple7 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple7 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int5
The mouse does not need the squirrel.
Unknown
inv-rconc
[@1: The mouse needs the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "needs" "squirrel" "-")
The squirrel needs the cat.
Unknown
rconc
[@1: The squirrel needs the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "needs" "cat" "+")
The mouse is not cold.
Unknown
inv-rconc
[@1: The mouse is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "cold" "-")
The squirrel needs the squirrel.
Unknown
rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "needs" "squirrel" "+")
The mouse does not need the cat.
Unknown
inv-rconc
[@1: The mouse needs the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "needs" "cat" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The mouse visits the squirrel.
Unknown
random
[@0: The mouse visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "squirrel" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The cat chases the squirrel.
Unknown
random
[@0: The cat chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "squirrel" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The bear chases the cat.
Unknown
random
[@0: The bear chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cat" "+")
@0: The bear is kind.[(triple1)] The bear is young.[(triple2)] The bear needs the cat.[(triple3)] The bear visits the squirrel.[(triple4)] The cat chases the bear.[(triple5)] The cat is green.[(triple6)] The cat visits the bear.[(triple7)] The cat visits the mouse.[(triple8)] The mouse needs the bear.[(triple9)] The squirrel is red.[(triple10)] The squirrel visits the bear.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The bear needs the squirrel.[(((triple1) -> rule4))] The cat needs the cat.[(((triple6) -> rule3))] @2: The squirrel chases the cat.[(((triple11 ((triple1) -> rule4)) -> rule6) OR ((triple7 ((triple1) -> rule4)) -> rule6))] @3: The squirrel is cold.[(((((triple11 ((triple1) -> rule4)) -> rule6)) -> rule1) OR ((((triple7 ((triple1) -> rule4)) -> rule6)) -> rule1))] @4: The cat is kind.[(((((((triple11 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple11 ((triple1) -> rule4)) -> rule6)) -> rule5) OR ((((((triple11 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple7 ((triple1) -> rule4)) -> rule6)) -> rule5) OR ((((((triple7 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple11 ((triple1) -> rule4)) -> rule6)) -> rule5) OR ((((((triple7 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple7 ((triple1) -> rule4)) -> rule6)) -> rule5))] @5: The cat needs the squirrel.[(((((((((triple11 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple11 ((triple1) -> rule4)) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple11 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple7 ((triple1) -> rule4)) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple7 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple11 ((triple1) -> rule4)) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple7 ((triple1) -> rule4)) -> rule6)) -> rule1) ((triple7 ((triple1) -> rule4)) -> rule6)) -> rule5)) -> rule4))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear needs the cat.
("bear" "needs" "cat" "+")
triple3
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple4
The cat chases the bear.
("cat" "chases" "bear" "+")
triple5
The cat is green.
("cat" "is" "green" "+")
triple6
The cat visits the bear.
("cat" "visits" "bear" "+")
triple7
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple8
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple9
The squirrel is red.
("squirrel" "is" "red" "+")
triple10
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple11
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple12
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
((triple1) -> (rule4 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple6) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
((triple11 ((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
((triple7 ((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
((((triple11 ((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
((((triple7 ((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
((((((triple11 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple11 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int4
((((((triple11 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple7 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int4
((((((triple7 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple11 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int4
((((((triple7 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple7 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int4
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
((((((((triple11 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple11 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int5
((((((((triple11 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple7 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int5
((((((((triple7 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple11 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int5
((((((((triple7 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple7 ((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int5