The bear eats the mouse. The bear is round. The bear needs the cow. The bear needs the dog. The cow eats the bear. The dog eats the bear. The dog eats the cow. The dog visits the bear. The mouse eats the cow. The mouse is big. The mouse is kind. The mouse visits the dog. If something visits the mouse and the mouse needs the cow then the cow is round.
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If something visits the mouse and the mouse needs the cow then the cow is round.
((("something" "visits" "mouse" "+") ("mouse" "needs" "cow" "+")) -> ("cow" "is" "round" "+"))
The dog eats the bear.
True
1
proof
[(triple6)]
("dog" "eats" "bear" "+")
triple6
The cow does not eat the bear.
False
1
inv-proof
[(triple5)]
("cow" "eats" "bear" "-")
triple5
The cow is not round.
Unknown
inv-rconc
[@1: The cow is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "round" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bear eats the mouse.[(triple1)] The bear is round.[(triple2)] The bear needs the cow.[(triple3)] The bear needs the dog.[(triple4)] The cow eats the bear.[(triple5)] The dog eats the bear.[(triple6)] The dog eats the cow.[(triple7)] The dog visits the bear.[(triple8)] The mouse eats the cow.[(triple9)] The mouse is big.[(triple10)] The mouse is kind.[(triple11)] The mouse visits the dog.[(triple12)]
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear needs the cow.
("bear" "needs" "cow" "+")
triple3
The bear needs the dog.
("bear" "needs" "dog" "+")
triple4
The cow eats the bear.
("cow" "eats" "bear" "+")
triple5
The dog eats the bear.
("dog" "eats" "bear" "+")
triple6
The dog eats the cow.
("dog" "eats" "cow" "+")
triple7
The dog visits the bear.
("dog" "visits" "bear" "+")
triple8
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple9
The mouse is big.
("mouse" "is" "big" "+")
triple10
The mouse is kind.
("mouse" "is" "kind" "+")
triple11
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple12