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