The bear is not big. The bear is nice. The bear is red. The bear does not like the squirrel. The cow is nice. The cow does not like the dog. The cow likes the squirrel. The cow sees the squirrel. The dog visits the bear. The squirrel likes the cow. The squirrel sees the bear. The squirrel visits the dog. If something is big and it likes the cow then the cow does not visit the dog. If the squirrel sees the dog then the squirrel is nice. If something is red and it does not visit the dog then the dog sees the squirrel.
The bear is not big.
("bear" "is" "big" "-")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
The cow is nice.
("cow" "is" "nice" "+")
The cow does not like the dog.
("cow" "likes" "dog" "-")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If something is big and it likes the cow then the cow does not visit the dog.
((("something" "is" "big" "+") ("something" "likes" "cow" "+")) -> ("cow" "visits" "dog" "-"))
If the squirrel sees the dog then the squirrel is nice.
((("squirrel" "sees" "dog" "+")) -> ("squirrel" "is" "nice" "+"))
If something is red and it does not visit the dog then the dog sees the squirrel.
((("something" "is" "red" "+") ("something" "visits" "dog" "~")) -> ("dog" "sees" "squirrel" "+"))
The bear does not like the squirrel.
True
1
proof
[(triple4)]
("bear" "likes" "squirrel" "-")
triple4
The squirrel does not see the bear.
False
1
inv-proof
[(triple11)]
("squirrel" "sees" "bear" "-")
triple11
The dog does not see the squirrel.
Unknown
inv-rconc
[@1: The dog sees the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "sees" "squirrel" "-")
The squirrel sees the cow.
Unknown
random
[@0: The squirrel sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "cow" "+")
@0: The bear does not like the squirrel.[(triple4)] The bear is nice.[(triple2)] The bear is not big.[(triple1)] The bear is red.[(triple3)] The cow does not like the dog.[(triple6)] The cow is nice.[(triple5)] The cow likes the squirrel.[(triple7)] The cow sees the squirrel.[(triple8)] The dog visits the bear.[(triple9)] The squirrel likes the cow.[(triple10)] The squirrel sees the bear.[(triple11)] The squirrel visits the dog.[(triple12)]
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
triple4
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear is not big.
("bear" "is" "big" "-")
triple1
The bear is red.
("bear" "is" "red" "+")
triple3
The cow does not like the dog.
("cow" "likes" "dog" "-")
triple6
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple7
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple8
The dog visits the bear.
("dog" "visits" "bear" "+")
triple9
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple10
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple11
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple12