The bear does not eat the cat. The cat needs the bear. The dog does not eat the squirrel. The dog is green. The dog is young. The dog does not need the cat. The dog does not need the squirrel. The dog sees the bear. The dog sees the cat. The dog sees the squirrel. The squirrel eats the bear. The squirrel is green. If someone sees the bear and the bear sees the cat then they are green. If someone eats the squirrel then they do not eat the dog. If the squirrel does not eat the bear then the bear sees the squirrel. If someone eats the bear and the bear does not see the dog then they do not eat the squirrel. Big people are not young. If someone needs the dog and the dog does not need the cat then the cat needs the bear. If someone needs the dog then they see the squirrel. If someone sees the squirrel then the squirrel sees the cat.
The bear does not eat the cat.
("bear" "eats" "cat" "-")
The cat needs the bear.
("cat" "needs" "bear" "+")
The dog does not eat the squirrel.
("dog" "eats" "squirrel" "-")
The dog is green.
("dog" "is" "green" "+")
The dog is young.
("dog" "is" "young" "+")
The dog does not need the cat.
("dog" "needs" "cat" "-")
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
If someone sees the bear and the bear sees the cat then they are green.
((("someone" "sees" "bear" "+") ("bear" "sees" "cat" "+")) -> ("someone" "is" "green" "+"))
If someone eats the squirrel then they do not eat the dog.
((("someone" "eats" "squirrel" "+")) -> ("someone" "eats" "dog" "-"))
If the squirrel does not eat the bear then the bear sees the squirrel.
((("squirrel" "eats" "bear" "~")) -> ("bear" "sees" "squirrel" "+"))
If someone eats the bear and the bear does not see the dog then they do not eat the squirrel.
((("someone" "eats" "bear" "+") ("bear" "sees" "dog" "~")) -> ("someone" "eats" "squirrel" "-"))
Big people are not young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "-"))
If someone needs the dog and the dog does not need the cat then the cat needs the bear.
((("someone" "needs" "dog" "+") ("dog" "needs" "cat" "~")) -> ("cat" "needs" "bear" "+"))
If someone needs the dog then they see the squirrel.
((("someone" "needs" "dog" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone sees the squirrel then the squirrel sees the cat.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "sees" "cat" "+"))
The squirrel is green.
True
1
proof
[(triple12)]
("squirrel" "is" "green" "+")
triple12
The dog does not see the squirrel.
False
1
inv-proof
[(triple10)]
("dog" "sees" "squirrel" "-")
triple10
The squirrel sees the cat.
True
2
proof
[(((triple10) -> rule8))]
("squirrel" "sees" "cat" "+")
((triple10) -> (rule8 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1
The squirrel does not see the cat.
False
2
inv-proof
[(((triple10) -> rule8))]
("squirrel" "sees" "cat" "-")
((triple10) -> (rule8 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1
The bear is not green.
Unknown
inv-rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "green" "-")
The cat is green.
Unknown
rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "green" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear does not eat the cat.[(triple1)] The cat needs the bear.[(triple2)] The dog does not eat the squirrel.[(triple3)] The dog does not need the cat.[(triple6)] The dog does not need the squirrel.[(triple7)] The dog is green.[(triple4)] The dog is young.[(triple5)] The dog sees the bear.[(triple8)] The dog sees the cat.[(triple9)] The dog sees the squirrel.[(triple10)] The squirrel eats the bear.[(triple11)] The squirrel is green.[(triple12)] @1: The squirrel sees the cat.[(((triple10) -> rule8))]
The bear does not eat the cat.
("bear" "eats" "cat" "-")
triple1
The cat needs the bear.
("cat" "needs" "bear" "+")
triple2
The dog does not eat the squirrel.
("dog" "eats" "squirrel" "-")
triple3
The dog does not need the cat.
("dog" "needs" "cat" "-")
triple6
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
triple7
The dog is green.
("dog" "is" "green" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5
The dog sees the bear.
("dog" "sees" "bear" "+")
triple8
The dog sees the cat.
("dog" "sees" "cat" "+")
triple9
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple10
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
((triple10) -> (rule8 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1