The dog is blue. The dog likes the squirrel. The dog visits the squirrel. The rabbit is blue. The squirrel eats the dog. The squirrel is rough. The squirrel visits the rabbit. If the dog is red and the dog likes the squirrel then the squirrel is big. If something is young and blue then it visits the dog.
The dog is blue.
("dog" "is" "blue" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If the dog is red and the dog likes the squirrel then the squirrel is big.
((("dog" "is" "red" "+") ("dog" "likes" "squirrel" "+")) -> ("squirrel" "is" "big" "+"))
If something is young and blue then it visits the dog.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "visits" "dog" "+"))
The dog visits the squirrel.
True
1
proof
[(triple3)]
("dog" "visits" "squirrel" "+")
triple3
The rabbit is not blue.
False
1
inv-proof
[(triple4)]
("rabbit" "is" "blue" "-")
triple4
The squirrel does not visit the dog.
Unknown
inv-rconc
[@1: The squirrel visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "visits" "dog" "-")
The squirrel likes the dog.
Unknown
random
[@0: The squirrel likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "dog" "+")
@0: The dog is blue.[(triple1)] The dog likes the squirrel.[(triple2)] The dog visits the squirrel.[(triple3)] The rabbit is blue.[(triple4)] The squirrel eats the dog.[(triple5)] The squirrel is rough.[(triple6)] The squirrel visits the rabbit.[(triple7)]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple3
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple4
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple5
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple6
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple7