The dog is blue. The dog likes the squirrel. The dog visits the rabbit. The mouse is blue. The mouse likes the dog. The mouse likes the rabbit. The mouse visits the dog. The mouse visits the rabbit. The rabbit is green. The rabbit likes the squirrel. The rabbit needs the squirrel. The squirrel is cold. The squirrel is green. The squirrel needs the rabbit. The squirrel visits the mouse. If someone needs the mouse then the mouse likes the dog. If someone likes the mouse and the mouse visits the rabbit then the mouse is blue. If someone is rough then they like the rabbit.
The dog is blue.
("dog" "is" "blue" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone needs the mouse then the mouse likes the dog.
((("someone" "needs" "mouse" "+")) -> ("mouse" "likes" "dog" "+"))
If someone likes the mouse and the mouse visits the rabbit then the mouse is blue.
((("someone" "likes" "mouse" "+") ("mouse" "visits" "rabbit" "+")) -> ("mouse" "is" "blue" "+"))
If someone is rough then they like the rabbit.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "rabbit" "+"))
The dog visits the rabbit.
True
1
proof
[(triple3)]
("dog" "visits" "rabbit" "+")
triple3
The dog is not blue.
False
1
inv-proof
[(triple1)]
("dog" "is" "blue" "-")
triple1
The squirrel does not like the rabbit.
Unknown
inv-rconc
[@1: The squirrel likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "likes" "rabbit" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
@0: The dog is blue.[(triple1)] The dog likes the squirrel.[(triple2)] The dog visits the rabbit.[(triple3)] The mouse is blue.[(triple4)] The mouse likes the dog.[(triple5)] The mouse likes the rabbit.[(triple6)] The mouse visits the dog.[(triple7)] The mouse visits the rabbit.[(triple8)] The rabbit is green.[(triple9)] The rabbit likes the squirrel.[(triple10)] The rabbit needs the squirrel.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is green.[(triple13)] The squirrel needs the rabbit.[(triple14)] The squirrel visits the mouse.[(triple15)]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple2
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple3
The mouse is blue.
("mouse" "is" "blue" "+")
triple4
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple5
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple6
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple7
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple8
The rabbit is green.
("rabbit" "is" "green" "+")
triple9
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple10
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple11
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12
The squirrel is green.
("squirrel" "is" "green" "+")
triple13
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple14
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple15