The bear needs the squirrel. The cow does not eat the dog. The cow likes the squirrel. The dog is rough. The squirrel eats the bear. The squirrel eats the dog. The squirrel is young. If something is big then it likes the dog. If the squirrel is not cold then the squirrel eats the cow. If something needs the squirrel then the squirrel is young. If something likes the dog then the dog likes the squirrel. If the dog needs the squirrel then the dog eats the squirrel. If something eats the bear and it likes the bear then the bear eats the cow.
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The cow does not eat the dog.
("cow" "eats" "dog" "-")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The dog is rough.
("dog" "is" "rough" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If something is big then it likes the dog.
((("something" "is" "big" "+")) -> ("something" "likes" "dog" "+"))
If the squirrel is not cold then the squirrel eats the cow.
((("squirrel" "is" "cold" "~")) -> ("squirrel" "eats" "cow" "+"))
If something needs the squirrel then the squirrel is young.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If something likes the dog then the dog likes the squirrel.
((("something" "likes" "dog" "+")) -> ("dog" "likes" "squirrel" "+"))
If the dog needs the squirrel then the dog eats the squirrel.
((("dog" "needs" "squirrel" "+")) -> ("dog" "eats" "squirrel" "+"))
If something eats the bear and it likes the bear then the bear eats the cow.
((("something" "eats" "bear" "+") ("something" "likes" "bear" "+")) -> ("bear" "eats" "cow" "+"))
The bear needs the squirrel.
True
1
proof
[(triple1)]
("bear" "needs" "squirrel" "+")
triple1
The squirrel does not eat the dog.
False
1
inv-proof
[(triple6)]
("squirrel" "eats" "dog" "-")
triple6
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "dog" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
@0: The bear needs the squirrel.[(triple1)] The cow does not eat the dog.[(triple2)] The cow likes the squirrel.[(triple3)] The dog is rough.[(triple4)] The squirrel eats the bear.[(triple5)] The squirrel eats the dog.[(triple6)] The squirrel is young.[(triple7 OR ((triple1) -> rule3))]
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple1
The cow does not eat the dog.
("cow" "eats" "dog" "-")
triple2
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple3
The dog is rough.
("dog" "is" "rough" "+")
triple4
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple5
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple6
The squirrel is young.
("squirrel" "is" "young" "+")
triple7
((triple1) -> (rule3 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1