The bear is rough. The dog visits the mouse. The mouse chases the dog. If someone is blue and they need the dog then the dog is rough. If someone is round and nice then they need the bear.
The bear is rough.
("bear" "is" "rough" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
If someone is blue and they need the dog then the dog is rough.
((("someone" "is" "blue" "+") ("someone" "needs" "dog" "+")) -> ("dog" "is" "rough" "+"))
If someone is round and nice then they need the bear.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "needs" "bear" "+"))
The mouse chases the dog.
True
1
proof
[(triple3)]
("mouse" "chases" "dog" "+")
triple3
The dog does not visit the mouse.
False
1
inv-proof
[(triple2)]
("dog" "visits" "mouse" "-")
triple2
The dog does not need the bear.
Unknown
inv-rconc
[@1: The dog needs the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "bear" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
@0: The bear is rough.[(triple1)] The dog visits the mouse.[(triple2)] The mouse chases the dog.[(triple3)]
The bear is rough.
("bear" "is" "rough" "+")
triple1
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple2
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple3