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