The bear does not eat the dog. The bear likes the squirrel. The cat eats the squirrel. The dog eats the cat. The dog likes the cat. The dog needs the cat. The dog needs the squirrel. The squirrel does not eat the bear. The squirrel eats the cat. The squirrel does not eat the dog. The squirrel is not rough. The squirrel likes the dog. If something eats the bear and it does not need the bear then it is rough. If something is green and it eats the cat then the cat eats the squirrel. If the squirrel needs the cat and the cat needs the bear then the squirrel likes the bear. If something needs the squirrel then the squirrel likes the bear. If something is big then it does not eat the bear. If the squirrel eats the cat and the cat does not need the squirrel then the squirrel does not eat the dog. If something needs the cat then it does not need the dog. If the squirrel eats the bear and the squirrel does not need the bear then the bear is green.
The bear does not eat the dog.
("bear" "eats" "dog" "-")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If something eats the bear and it does not need the bear then it is rough.
((("something" "eats" "bear" "+") ("something" "needs" "bear" "~")) -> ("something" "is" "rough" "+"))
If something is green and it eats the cat then the cat eats the squirrel.
((("something" "is" "green" "+") ("something" "eats" "cat" "+")) -> ("cat" "eats" "squirrel" "+"))
If the squirrel needs the cat and the cat needs the bear then the squirrel likes the bear.
((("squirrel" "needs" "cat" "+") ("cat" "needs" "bear" "+")) -> ("squirrel" "likes" "bear" "+"))
If something needs the squirrel then the squirrel likes the bear.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "likes" "bear" "+"))
If something is big then it does not eat the bear.
((("something" "is" "big" "+")) -> ("something" "eats" "bear" "-"))
If the squirrel eats the cat and the cat does not need the squirrel then the squirrel does not eat the dog.
((("squirrel" "eats" "cat" "+") ("cat" "needs" "squirrel" "~")) -> ("squirrel" "eats" "dog" "-"))
If something needs the cat then it does not need the dog.
((("something" "needs" "cat" "+")) -> ("something" "needs" "dog" "-"))
If the squirrel eats the bear and the squirrel does not need the bear then the bear is green.
((("squirrel" "eats" "bear" "+") ("squirrel" "needs" "bear" "~")) -> ("bear" "is" "green" "+"))
The dog needs the cat.
True
1
proof
[(triple6)]
("dog" "needs" "cat" "+")
triple6
The dog does not need the squirrel.
False
1
inv-proof
[(triple7)]
("dog" "needs" "squirrel" "-")
triple7
The dog does not need the dog.
True
2
proof
[(((triple6) -> rule7))]
("dog" "needs" "dog" "-")
((triple6) -> (rule7 % int1))
The dog does not need the dog.
("dog" "needs" "dog" "-")
int1
The dog needs the dog.
False
2
inv-proof
[(((triple6) -> rule7))]
("dog" "needs" "dog" "+")
((triple6) -> (rule7 % int1))
The dog does not need the dog.
("dog" "needs" "dog" "-")
int1
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "rough" "-")
The dog is rough.
Unknown
rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "rough" "+")
The squirrel does not need the bear.
Unknown
inv-random
[@0: The squirrel needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bear" "-")
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 does not eat the dog.[(triple1)] The bear likes the squirrel.[(triple2)] The cat eats the squirrel.[(triple3)] The dog eats the cat.[(triple4)] The dog likes the cat.[(triple5)] The dog needs the cat.[(triple6)] The dog needs the squirrel.[(triple7)] The squirrel does not eat the bear.[(triple8)] The squirrel does not eat the dog.[(triple10)] The squirrel eats the cat.[(triple9)] The squirrel is not rough.[(triple11)] The squirrel likes the dog.[(triple12)] @1: The dog does not need the dog.[(((triple6) -> rule7))] The squirrel likes the bear.[(((triple7) -> rule4))]
The bear does not eat the dog.
("bear" "eats" "dog" "-")
triple1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple3
The dog eats the cat.
("dog" "eats" "cat" "+")
triple4
The dog likes the cat.
("dog" "likes" "cat" "+")
triple5
The dog needs the cat.
("dog" "needs" "cat" "+")
triple6
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple7
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
triple8
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
triple10
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple9
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple11
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple12
The dog does not need the dog.
("dog" "needs" "dog" "-")
((triple6) -> (rule7 % int1))
The dog does not need the dog.
("dog" "needs" "dog" "-")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
((triple7) -> (rule4 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1