The bear is round. The dog does not visit the rabbit. The mouse is round. The rabbit sees the dog. If someone sees the dog and they are young then they need the mouse. If someone sees the rabbit and the rabbit needs the bear then they do not need the bear. If someone sees the bear then the bear needs the rabbit. If the bear is young and the bear needs the rabbit then the rabbit is round. If the dog needs the bear and the bear is not cold then the bear sees the mouse. If someone visits the rabbit and they visit the dog then they are blue. If someone sees the mouse then they see the dog. If the dog is round and the dog visits the mouse then the mouse is cold.
The bear is round.
("bear" "is" "round" "+")
The dog does not visit the rabbit.
("dog" "visits" "rabbit" "-")
The mouse is round.
("mouse" "is" "round" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If someone sees the dog and they are young then they need the mouse.
((("someone" "sees" "dog" "+") ("someone" "is" "young" "+")) -> ("someone" "needs" "mouse" "+"))
If someone sees the rabbit and the rabbit needs the bear then they do not need the bear.
((("someone" "sees" "rabbit" "+") ("rabbit" "needs" "bear" "+")) -> ("someone" "needs" "bear" "-"))
If someone sees the bear then the bear needs the rabbit.
((("someone" "sees" "bear" "+")) -> ("bear" "needs" "rabbit" "+"))
If the bear is young and the bear needs the rabbit then the rabbit is round.
((("bear" "is" "young" "+") ("bear" "needs" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
If the dog needs the bear and the bear is not cold then the bear sees the mouse.
((("dog" "needs" "bear" "+") ("bear" "is" "cold" "~")) -> ("bear" "sees" "mouse" "+"))
If someone visits the rabbit and they visit the dog then they are blue.
((("someone" "visits" "rabbit" "+") ("someone" "visits" "dog" "+")) -> ("someone" "is" "blue" "+"))
If someone sees the mouse then they see the dog.
((("someone" "sees" "mouse" "+")) -> ("someone" "sees" "dog" "+"))
If the dog is round and the dog visits the mouse then the mouse is cold.
((("dog" "is" "round" "+") ("dog" "visits" "mouse" "+")) -> ("mouse" "is" "cold" "+"))
The dog does not visit the rabbit.
True
1
proof
[(triple2)]
("dog" "visits" "rabbit" "-")
triple2
The mouse is not round.
False
1
inv-proof
[(triple3)]
("mouse" "is" "round" "-")
triple3
The mouse is not blue.
Unknown
inv-rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "is" "blue" "-")
The dog visits the bear.
Unknown
random
[@0: The dog visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "bear" "+")
@0: The bear is round.[(triple1)] The dog does not visit the rabbit.[(triple2)] The mouse is round.[(triple3)] The rabbit sees the dog.[(triple4)]
The bear is round.
("bear" "is" "round" "+")
triple1
The dog does not visit the rabbit.
("dog" "visits" "rabbit" "-")
triple2
The mouse is round.
("mouse" "is" "round" "+")
triple3
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple4