The dog needs the lion. The lion eats the squirrel. The squirrel likes the dog. If something needs the squirrel and it likes the squirrel then the squirrel is blue. If something is green and it eats the lion then it is rough. If something needs the dog and the dog needs the lion then the lion eats the squirrel.
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If something needs the squirrel and it likes the squirrel then the squirrel is blue.
((("something" "needs" "squirrel" "+") ("something" "likes" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
If something is green and it eats the lion then it is rough.
((("something" "is" "green" "+") ("something" "eats" "lion" "+")) -> ("something" "is" "rough" "+"))
If something needs the dog and the dog needs the lion then the lion eats the squirrel.
((("something" "needs" "dog" "+") ("dog" "needs" "lion" "+")) -> ("lion" "eats" "squirrel" "+"))
The squirrel likes the dog.
True
1
proof
[(triple3)]
("squirrel" "likes" "dog" "+")
triple3
The dog does not need the lion.
False
1
inv-proof
[(triple1)]
("dog" "needs" "lion" "-")
triple1
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "rough" "-")
The dog likes the squirrel.
Unknown
random
[@0: The dog likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "squirrel" "+")
@0: The dog needs the lion.[(triple1)] The lion eats the squirrel.[(triple2)] The squirrel likes the dog.[(triple3)]
The dog needs the lion.
("dog" "needs" "lion" "+")
triple1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple2
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple3