The bear needs the mouse. The cow is red. The dog needs the cow. The mouse is rough. If something visits the dog then the dog needs the mouse. If something chases the cow and the cow needs the dog then the cow is big. If something chases the dog and the dog chases the bear then the bear is big. If the dog visits the cow and the cow needs the mouse then the mouse needs the dog. If the cow needs the bear and the cow visits the bear then the bear needs the mouse. If something is big then it chases the cow. If the bear is big and the bear visits the cow then the bear needs the dog. If something needs the dog then it is red.
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The cow is red.
("cow" "is" "red" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
If something visits the dog then the dog needs the mouse.
((("something" "visits" "dog" "+")) -> ("dog" "needs" "mouse" "+"))
If something chases the cow and the cow needs the dog then the cow is big.
((("something" "chases" "cow" "+") ("cow" "needs" "dog" "+")) -> ("cow" "is" "big" "+"))
If something chases the dog and the dog chases the bear then the bear is big.
((("something" "chases" "dog" "+") ("dog" "chases" "bear" "+")) -> ("bear" "is" "big" "+"))
If the dog visits the cow and the cow needs the mouse then the mouse needs the dog.
((("dog" "visits" "cow" "+") ("cow" "needs" "mouse" "+")) -> ("mouse" "needs" "dog" "+"))
If the cow needs the bear and the cow visits the bear then the bear needs the mouse.
((("cow" "needs" "bear" "+") ("cow" "visits" "bear" "+")) -> ("bear" "needs" "mouse" "+"))
If something is big then it chases the cow.
((("something" "is" "big" "+")) -> ("something" "chases" "cow" "+"))
If the bear is big and the bear visits the cow then the bear needs the dog.
((("bear" "is" "big" "+") ("bear" "visits" "cow" "+")) -> ("bear" "needs" "dog" "+"))
If something needs the dog then it is red.
((("something" "needs" "dog" "+")) -> ("something" "is" "red" "+"))
The bear needs the mouse.
True
1
proof
[(triple1)]
("bear" "needs" "mouse" "+")
triple1
The mouse is not rough.
False
1
inv-proof
[(triple4)]
("mouse" "is" "rough" "-")
triple4
The bear is not red.
Unknown
inv-rconc
[@2: The bear is red.[CWA. Example of deepest failure = (rule8 <- rule7 <- FAIL)]]
("bear" "is" "red" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
@0: The bear needs the mouse.[(triple1)] The cow is red.[(triple2)] The dog needs the cow.[(triple3)] The mouse is rough.[(triple4)]
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
triple2
The dog needs the cow.
("dog" "needs" "cow" "+")
triple3
The mouse is rough.
("mouse" "is" "rough" "+")
triple4