The bear needs the lion. The cow is round. The lion needs the bear. The squirrel eats the lion. If the lion needs the cow and the lion eats the squirrel then the lion is young. If something is young then it chases the bear. If the lion is nice then the lion chases the bear. If something is young and it eats the cow then it needs the bear. If something chases the squirrel then it eats the squirrel. If something chases the squirrel then the squirrel needs the bear.
The bear needs the lion.
("bear" "needs" "lion" "+")
The cow is round.
("cow" "is" "round" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
If the lion needs the cow and the lion eats the squirrel then the lion is young.
((("lion" "needs" "cow" "+") ("lion" "eats" "squirrel" "+")) -> ("lion" "is" "young" "+"))
If something is young then it chases the bear.
((("something" "is" "young" "+")) -> ("something" "chases" "bear" "+"))
If the lion is nice then the lion chases the bear.
((("lion" "is" "nice" "+")) -> ("lion" "chases" "bear" "+"))
If something is young and it eats the cow then it needs the bear.
((("something" "is" "young" "+") ("something" "eats" "cow" "+")) -> ("something" "needs" "bear" "+"))
If something chases the squirrel then it eats the squirrel.
((("something" "chases" "squirrel" "+")) -> ("something" "eats" "squirrel" "+"))
If something chases the squirrel then the squirrel needs the bear.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "needs" "bear" "+"))
The lion needs the bear.
True
1
proof
[(triple3)]
("lion" "needs" "bear" "+")
triple3
The cow is not round.
False
1
inv-proof
[(triple2)]
("cow" "is" "round" "-")
triple2
The squirrel does not chase the bear.
Unknown
inv-rconc
[@1: The squirrel chases the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "bear" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
@0: The bear needs the lion.[(triple1)] The cow is round.[(triple2)] The lion needs the bear.[(triple3)] The squirrel eats the lion.[(triple4)]
The bear needs the lion.
("bear" "needs" "lion" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
triple2
The lion needs the bear.
("lion" "needs" "bear" "+")
triple3
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple4