The bear is not young. The dog is red. The dog is young. The dog does not need the bear. The dog sees the squirrel. The dog sees the tiger. The squirrel chases the dog. The squirrel is cold. The squirrel needs the tiger. The squirrel does not see the tiger. The tiger is rough. The tiger needs the bear. The tiger needs the squirrel. The tiger sees the squirrel. If something chases the squirrel then the squirrel is not red. If something chases the bear then it is nice. Red things are nice. If something sees the squirrel then the squirrel is nice. If something is nice then it chases the bear. If something is nice then it does not need the dog. If something is young and rough then it needs the bear. If something chases the bear then the bear is red. If something needs the dog and it is not nice then the dog needs the tiger.
The bear is not young.
("bear" "is" "young" "-")
The dog is red.
("dog" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
The dog does not need the bear.
("dog" "needs" "bear" "-")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If something chases the squirrel then the squirrel is not red.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "is" "red" "-"))
If something chases the bear then it is nice.
((("something" "chases" "bear" "+")) -> ("something" "is" "nice" "+"))
Red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If something sees the squirrel then the squirrel is nice.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "is" "nice" "+"))
If something is nice then it chases the bear.
((("something" "is" "nice" "+")) -> ("something" "chases" "bear" "+"))
If something is nice then it does not need the dog.
((("something" "is" "nice" "+")) -> ("something" "needs" "dog" "-"))
If something is young and rough then it needs the bear.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "needs" "bear" "+"))
If something chases the bear then the bear is red.
((("something" "chases" "bear" "+")) -> ("bear" "is" "red" "+"))
If something needs the dog and it is not nice then the dog needs the tiger.
((("something" "needs" "dog" "+") ("something" "is" "nice" "~")) -> ("dog" "needs" "tiger" "+"))
The tiger needs the squirrel.
True
1
proof
[(triple13)]
("tiger" "needs" "squirrel" "+")
triple13
The dog does not see the tiger.
False
1
inv-proof
[(triple6)]
("dog" "sees" "tiger" "-")
triple6
The dog is nice.
True
2
proof
[(((triple2) -> rule3))]
("dog" "is" "nice" "+")
((triple2) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is not nice.
False
2
inv-proof
[(((triple2) -> rule3))]
("dog" "is" "nice" "-")
((triple2) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The squirrel does not need the dog.
True
3
proof
[(((((triple14) -> rule4)) -> rule6) OR ((((triple5) -> rule4)) -> rule6))]
("squirrel" "needs" "dog" "-")
((((triple14) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
((((triple5) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The dog does not chase the bear.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule5))]
("dog" "chases" "bear" "-")
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The bear is red.
True
4
proof
[(((((((triple14) -> rule4)) -> rule5)) -> rule8) OR ((((((triple2) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5) -> rule4)) -> rule5)) -> rule8))]
("bear" "is" "red" "+")
((((((triple14) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
((((((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The bear is not red.
False
4
inv-proof
[(((((((triple14) -> rule4)) -> rule5)) -> rule8) OR ((((((triple2) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5) -> rule4)) -> rule5)) -> rule8))]
("bear" "is" "red" "-")
((((((triple14) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
((((((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The bear is nice.
True
5
proof
[(((((((((triple14) -> rule4)) -> rule5)) -> rule8)) -> rule3) OR ((((((((triple2) -> rule3)) -> rule5)) -> rule8)) -> rule3) OR ((((((((triple5) -> rule4)) -> rule5)) -> rule8)) -> rule3))]
("bear" "is" "nice" "+")
((((((((triple14) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int3
The squirrel is nice.
("squirrel" "is" "nice" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The dog chases the bear.
("dog" "chases" "bear" "+")
int3
The dog is nice.
("dog" "is" "nice" "+")
int4
((((((((triple5) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int3
The squirrel is nice.
("squirrel" "is" "nice" "+")
int4
The bear is not nice.
False
5
inv-proof
[(((((((((triple14) -> rule4)) -> rule5)) -> rule8)) -> rule3) OR ((((((((triple2) -> rule3)) -> rule5)) -> rule8)) -> rule3) OR ((((((((triple5) -> rule4)) -> rule5)) -> rule8)) -> rule3))]
("bear" "is" "nice" "-")
((((((((triple14) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int3
The squirrel is nice.
("squirrel" "is" "nice" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The dog chases the bear.
("dog" "chases" "bear" "+")
int3
The dog is nice.
("dog" "is" "nice" "+")
int4
((((((((triple5) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int3
The squirrel is nice.
("squirrel" "is" "nice" "+")
int4
The bear chases the bear.
True
6
proof
[(((((((((((triple14) -> rule4)) -> rule5)) -> rule8)) -> rule3)) -> rule5) OR ((((((((((triple2) -> rule3)) -> rule5)) -> rule8)) -> rule3)) -> rule5) OR ((((((((((triple5) -> rule4)) -> rule5)) -> rule8)) -> rule3)) -> rule5))]
("bear" "chases" "bear" "+")
((((((((((triple14) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
((((((((((triple2) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The dog chases the bear.
("dog" "chases" "bear" "+")
int4
The dog is nice.
("dog" "is" "nice" "+")
int5
((((((((((triple5) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
The bear does not chase the bear.
False
6
inv-proof
[(((((((((((triple14) -> rule4)) -> rule5)) -> rule8)) -> rule3)) -> rule5) OR ((((((((((triple2) -> rule3)) -> rule5)) -> rule8)) -> rule3)) -> rule5) OR ((((((((((triple5) -> rule4)) -> rule5)) -> rule8)) -> rule3)) -> rule5))]
("bear" "chases" "bear" "-")
((((((((((triple14) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
((((((((((triple2) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The dog chases the bear.
("dog" "chases" "bear" "+")
int4
The dog is nice.
("dog" "is" "nice" "+")
int5
((((((((((triple5) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
The tiger does not chase the bear.
Unknown
inv-rconc
[@2: The tiger chases the bear.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("tiger" "chases" "bear" "-")
The tiger is nice.
Unknown
rconc
[@3: The tiger is nice.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule3 <- FAIL)]]
("tiger" "is" "nice" "+")
The squirrel does not need the bear.
Unknown
inv-rconc
[@1: The squirrel needs the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "needs" "bear" "-")
The bear needs the bear.
Unknown
rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "needs" "bear" "+")
The dog does not need the tiger.
Unknown
inv-rconc
[@1: The dog needs the tiger.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("dog" "needs" "tiger" "-")
The tiger sees the dog.
Unknown
random
[@0: The tiger sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "dog" "+")
The dog does not chase the squirrel.
Unknown
inv-random
[@0: The dog chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "squirrel" "-")
The bear chases the tiger.
Unknown
random
[@0: The bear chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "tiger" "+")
The squirrel does not see the bear.
Unknown
inv-random
[@0: The squirrel sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "bear" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The bear needs the squirrel.
Unknown
random
[@0: The bear needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "squirrel" "+")
@0: The bear is not young.[(triple1)] The dog does not need the bear.[(triple4)] The dog is red.[(triple2)] The dog is young.[(triple3)] The dog sees the squirrel.[(triple5)] The dog sees the tiger.[(triple6)] The squirrel chases the dog.[(triple7)] The squirrel does not see the tiger.[(triple10)] The squirrel is cold.[(triple8)] The squirrel needs the tiger.[(triple9)] The tiger is rough.[(triple11)] The tiger needs the bear.[(triple12)] The tiger needs the squirrel.[(triple13)] The tiger sees the squirrel.[(triple14)] @1: The dog is nice.[(((triple2) -> rule3))] The squirrel is nice.[(((triple14) -> rule4) OR ((triple5) -> rule4))] @2: The dog chases the bear.[(((((triple2) -> rule3)) -> rule5))] The dog does not need the dog.[(((((triple2) -> rule3)) -> rule6))] The squirrel chases the bear.[(((((triple14) -> rule4)) -> rule5) OR ((((triple5) -> rule4)) -> rule5))] The squirrel does not need the dog.[(((((triple14) -> rule4)) -> rule6) OR ((((triple5) -> rule4)) -> rule6))] @3: The bear is red.[(((((((triple14) -> rule4)) -> rule5)) -> rule8) OR ((((((triple2) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5) -> rule4)) -> rule5)) -> rule8))] @4: The bear is nice.[(((((((((triple14) -> rule4)) -> rule5)) -> rule8)) -> rule3) OR ((((((((triple2) -> rule3)) -> rule5)) -> rule8)) -> rule3) OR ((((((((triple5) -> rule4)) -> rule5)) -> rule8)) -> rule3))] @5: The bear chases the bear.[(((((((((((triple14) -> rule4)) -> rule5)) -> rule8)) -> rule3)) -> rule5) OR ((((((((((triple2) -> rule3)) -> rule5)) -> rule8)) -> rule3)) -> rule5) OR ((((((((((triple5) -> rule4)) -> rule5)) -> rule8)) -> rule3)) -> rule5))] The bear does not need the dog.[(((((((((((triple14) -> rule4)) -> rule5)) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule3)) -> rule5)) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple5) -> rule4)) -> rule5)) -> rule8)) -> rule3)) -> rule6))]
The bear is not young.
("bear" "is" "young" "-")
triple1
The dog does not need the bear.
("dog" "needs" "bear" "-")
triple4
The dog is red.
("dog" "is" "red" "+")
triple2
The dog is young.
("dog" "is" "young" "+")
triple3
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple5
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple6
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple7
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple8
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple11
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple12
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple13
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple14
The dog is nice.
("dog" "is" "nice" "+")
((triple2) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple14) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
((triple5) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog does not need the dog.
("dog" "needs" "dog" "-")
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
The dog does not need the dog.
("dog" "needs" "dog" "-")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
((((triple14) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
((((triple14) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
((((triple5) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The bear is red.
("bear" "is" "red" "+")
((((((triple14) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
((((((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The bear is nice.
("bear" "is" "nice" "+")
((((((((triple14) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int3
The squirrel is nice.
("squirrel" "is" "nice" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The dog chases the bear.
("dog" "chases" "bear" "+")
int3
The dog is nice.
("dog" "is" "nice" "+")
int4
((((((((triple5) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int3
The squirrel is nice.
("squirrel" "is" "nice" "+")
int4
The bear chases the bear.
("bear" "chases" "bear" "+")
((((((((((triple14) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
((((((((((triple2) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The dog chases the bear.
("dog" "chases" "bear" "+")
int4
The dog is nice.
("dog" "is" "nice" "+")
int5
((((((((((triple5) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
The bear does not need the dog.
("bear" "needs" "dog" "-")
((((((((((triple14) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bear does not need the dog.
("bear" "needs" "dog" "-")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
((((((((((triple2) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bear does not need the dog.
("bear" "needs" "dog" "-")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The dog chases the bear.
("dog" "chases" "bear" "+")
int4
The dog is nice.
("dog" "is" "nice" "+")
int5
((((((((((triple5) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bear does not need the dog.
("bear" "needs" "dog" "-")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5