The bear chases the dog. The bear chases the squirrel. The bear is blue. The bear is cold. The bear is young. The dog chases the squirrel. The dog likes the bear. The dog needs the squirrel. The squirrel likes the bear. The squirrel likes the dog. The squirrel needs the bear. The squirrel needs the dog. If something needs the bear then it is blue. If something needs the bear then the bear likes the squirrel. If something is nice then it likes the bear. If the bear chases the dog then the dog needs the bear. If something chases the dog then the dog chases the bear. If something likes the squirrel then it chases the bear. If the bear likes the dog and the dog chases the bear then the dog chases the squirrel. If something needs the bear and the bear likes the squirrel then it chases the bear.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is young.
("bear" "is" "young" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If something needs the bear then it is blue.
((("something" "needs" "bear" "+")) -> ("something" "is" "blue" "+"))
If something needs the bear then the bear likes the squirrel.
((("something" "needs" "bear" "+")) -> ("bear" "likes" "squirrel" "+"))
If something is nice then it likes the bear.
((("something" "is" "nice" "+")) -> ("something" "likes" "bear" "+"))
If the bear chases the dog then the dog needs the bear.
((("bear" "chases" "dog" "+")) -> ("dog" "needs" "bear" "+"))
If something chases the dog then the dog chases the bear.
((("something" "chases" "dog" "+")) -> ("dog" "chases" "bear" "+"))
If something likes the squirrel then it chases the bear.
((("something" "likes" "squirrel" "+")) -> ("something" "chases" "bear" "+"))
If the bear likes the dog and the dog chases the bear then the dog chases the squirrel.
((("bear" "likes" "dog" "+") ("dog" "chases" "bear" "+")) -> ("dog" "chases" "squirrel" "+"))
If something needs the bear and the bear likes the squirrel then it chases the bear.
((("something" "needs" "bear" "+") ("bear" "likes" "squirrel" "+")) -> ("something" "chases" "bear" "+"))
The dog needs the squirrel.
True
1
proof
[(triple8)]
("dog" "needs" "squirrel" "+")
triple8
The squirrel does not need the bear.
False
1
inv-proof
[(triple11)]
("squirrel" "needs" "bear" "-")
triple11
The dog needs the bear.
True
2
proof
[(((triple1) -> rule4))]
("dog" "needs" "bear" "+")
((triple1) -> (rule4 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog does not need the bear.
False
2
inv-proof
[(((triple1) -> rule4))]
("dog" "needs" "bear" "-")
((triple1) -> (rule4 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The squirrel chases the bear.
True
4
proof
[(((triple11 ((triple11) -> rule2)) -> rule8) OR ((triple11 ((((triple1) -> rule4)) -> rule2)) -> rule8))]
("squirrel" "chases" "bear" "+")
((triple11 ((triple11) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int2
((triple11 ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int2
The dog needs the bear.
("dog" "needs" "bear" "+")
int3
The squirrel does not chase the bear.
False
4
inv-proof
[(((triple11 ((triple11) -> rule2)) -> rule8) OR ((triple11 ((((triple1) -> rule4)) -> rule2)) -> rule8))]
("squirrel" "chases" "bear" "-")
((triple11 ((triple11) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int2
((triple11 ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int2
The dog needs the bear.
("dog" "needs" "bear" "+")
int3
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "likes" "bear" "-")
The bear likes the dog.
Unknown
random
[@0: The bear likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "dog" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The bear chases the dog.[(triple1)] The bear chases the squirrel.[(triple2)] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The bear is young.[(triple5)] The dog chases the squirrel.[(triple6)] The dog likes the bear.[(triple7)] The dog needs the squirrel.[(triple8)] The squirrel likes the bear.[(triple9)] The squirrel likes the dog.[(triple10)] The squirrel needs the bear.[(triple11)] The squirrel needs the dog.[(triple12)] @1: The bear likes the squirrel.[(((triple11) -> rule2) OR ((((triple1) -> rule4)) -> rule2))] The dog chases the bear.[(((triple1) -> rule5) OR ((((triple1) -> rule4) ((triple11) -> rule2)) -> rule8) OR ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule2)) -> rule8))] The dog needs the bear.[(((triple1) -> rule4))] The squirrel is blue.[(((triple11) -> rule1))] @2: The bear chases the bear.[(((((triple11) -> rule2)) -> rule6) OR ((((((triple1) -> rule4)) -> rule2)) -> rule6))] The dog is blue.[(((((triple1) -> rule4)) -> rule1))] The squirrel chases the bear.[(((triple11 ((triple11) -> rule2)) -> rule8) OR ((triple11 ((((triple1) -> rule4)) -> rule2)) -> rule8))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple6
The dog likes the bear.
("dog" "likes" "bear" "+")
triple7
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple8
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple9
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple10
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple11
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple12
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
((triple11) -> (rule2 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
int2
The dog chases the bear.
("dog" "chases" "bear" "+")
((triple1) -> (rule5 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
((((triple1) -> (rule4 % int3)) ((triple11) -> (rule2 % int2))) -> (rule8 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int2
The dog needs the bear.
("dog" "needs" "bear" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int2
The dog needs the bear.
("dog" "needs" "bear" "+")
int3
The dog needs the bear.
("dog" "needs" "bear" "+")
((triple1) -> (rule4 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple11) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
((((triple11) -> (rule2 % int2))) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int2
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int2
The dog needs the bear.
("dog" "needs" "bear" "+")
int3
The dog is blue.
("dog" "is" "blue" "+")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
((triple11 ((triple11) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int2
((triple11 ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int2
The dog needs the bear.
("dog" "needs" "bear" "+")
int3