The bear needs the dog. The dog is round. The lion is blue. The squirrel visits the bear. If something needs the dog then the dog likes the bear. If something visits the bear and it likes the bear then the bear needs the lion. If something is kind and it likes the bear then it needs the bear. If something is kind and blue then it needs the dog. If something is kind and it likes the lion then it visits the dog. If something likes the dog then it visits the squirrel. If something needs the squirrel and it is nice then the squirrel is kind. If something is kind then it needs the bear.
The bear needs the dog.
("bear" "needs" "dog" "+")
The dog is round.
("dog" "is" "round" "+")
The lion is blue.
("lion" "is" "blue" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If something needs the dog then the dog likes the bear.
((("something" "needs" "dog" "+")) -> ("dog" "likes" "bear" "+"))
If something visits the bear and it likes the bear then the bear needs the lion.
((("something" "visits" "bear" "+") ("something" "likes" "bear" "+")) -> ("bear" "needs" "lion" "+"))
If something is kind and it likes the bear then it needs the bear.
((("something" "is" "kind" "+") ("something" "likes" "bear" "+")) -> ("something" "needs" "bear" "+"))
If something is kind and blue then it needs the dog.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "needs" "dog" "+"))
If something is kind and it likes the lion then it visits the dog.
((("something" "is" "kind" "+") ("something" "likes" "lion" "+")) -> ("something" "visits" "dog" "+"))
If something likes the dog then it visits the squirrel.
((("something" "likes" "dog" "+")) -> ("something" "visits" "squirrel" "+"))
If something needs the squirrel and it is nice then the squirrel is kind.
((("something" "needs" "squirrel" "+") ("something" "is" "nice" "+")) -> ("squirrel" "is" "kind" "+"))
If something is kind then it needs the bear.
((("something" "is" "kind" "+")) -> ("something" "needs" "bear" "+"))
The squirrel visits the bear.
True
1
proof
[(triple4)]
("squirrel" "visits" "bear" "+")
triple4
The dog is not round.
False
1
inv-proof
[(triple2)]
("dog" "is" "round" "-")
triple2
The lion does not need the dog.
Unknown
inv-rconc
[@1: The lion needs the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "needs" "dog" "-")
The squirrel likes the bear.
Unknown
random
[@0: The squirrel likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bear" "+")
@0: The bear needs the dog.[(triple1)] The dog is round.[(triple2)] The lion is blue.[(triple3)] The squirrel visits the bear.[(triple4)] @1: The dog likes the bear.[(((triple1) -> rule1))]
The bear needs the dog.
("bear" "needs" "dog" "+")
triple1
The dog is round.
("dog" "is" "round" "+")
triple2
The lion is blue.
("lion" "is" "blue" "+")
triple3
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple4
The dog likes the bear.
("dog" "likes" "bear" "+")
((triple1) -> (rule1 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1