The bear is big. The bear is red. The bear needs the squirrel. The dog likes the squirrel. The dog needs the bear. The dog sees the squirrel. The squirrel is big. The squirrel likes the bear. The squirrel likes the dog. The squirrel sees the bear. If someone is big and they see the bear then they need the squirrel.
The bear is big.
("bear" "is" "big" "+")
The bear is red.
("bear" "is" "red" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If someone is big and they see the bear then they need the squirrel.
((("someone" "is" "big" "+") ("someone" "sees" "bear" "+")) -> ("someone" "needs" "squirrel" "+"))
The dog likes the squirrel.
True
1
proof
[(triple4)]
("dog" "likes" "squirrel" "+")
triple4
The dog does not see the squirrel.
False
1
inv-proof
[(triple6)]
("dog" "sees" "squirrel" "-")
triple6
The squirrel needs the squirrel.
True
3
proof
[(((triple7 triple10) -> rule1))]
("squirrel" "needs" "squirrel" "+")
((triple7 triple10) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel does not need the squirrel.
False
3
inv-proof
[(((triple7 triple10) -> rule1))]
("squirrel" "needs" "squirrel" "-")
((triple7 triple10) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The dog does not need the squirrel.
Unknown
inv-rconc
[@1: The dog needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "squirrel" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
The bear does not see the dog.
Unknown
inv-random
[@0: The bear sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "dog" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The bear is big.[(triple1)] The bear is red.[(triple2)] The bear needs the squirrel.[(triple3)] The dog likes the squirrel.[(triple4)] The dog needs the bear.[(triple5)] The dog sees the squirrel.[(triple6)] The squirrel is big.[(triple7)] The squirrel likes the bear.[(triple8)] The squirrel likes the dog.[(triple9)] The squirrel sees the bear.[(triple10)] @1: The squirrel needs the squirrel.[(((triple7 triple10) -> rule1))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple3
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple4
The dog needs the bear.
("dog" "needs" "bear" "+")
triple5
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple6
The squirrel is big.
("squirrel" "is" "big" "+")
triple7
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple8
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple9
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple10
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple7 triple10) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1