The bald eagle eats the lion. The bear needs the bald eagle. The cow does not chase the bear. The lion eats the bear. If something eats the bear then it is blue. If the bald eagle does not chase the bear then the bald eagle needs the bear. If the bear chases the bald eagle and the bear eats the cow then the bald eagle does not need the bear. If something chases the bear then the bear needs the bald eagle. If something is green then it is nice. If something needs the bear then it eats the cow. If something chases the lion and the lion chases the bald eagle then the lion is not green. If the lion needs the bald eagle and the lion is not green then the lion is blue.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The cow does not chase the bear.
("cow" "chases" "bear" "-")
The lion eats the bear.
("lion" "eats" "bear" "+")
If something eats the bear then it is blue.
((("something" "eats" "bear" "+")) -> ("something" "is" "blue" "+"))
If the bald eagle does not chase the bear then the bald eagle needs the bear.
((("bald eagle" "chases" "bear" "~")) -> ("bald eagle" "needs" "bear" "+"))
If the bear chases the bald eagle and the bear eats the cow then the bald eagle does not need the bear.
((("bear" "chases" "bald eagle" "+") ("bear" "eats" "cow" "+")) -> ("bald eagle" "needs" "bear" "-"))
If something chases the bear then the bear needs the bald eagle.
((("something" "chases" "bear" "+")) -> ("bear" "needs" "bald eagle" "+"))
If something is green then it is nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If something needs the bear then it eats the cow.
((("something" "needs" "bear" "+")) -> ("something" "eats" "cow" "+"))
If something chases the lion and the lion chases the bald eagle then the lion is not green.
((("something" "chases" "lion" "+") ("lion" "chases" "bald eagle" "+")) -> ("lion" "is" "green" "-"))
If the lion needs the bald eagle and the lion is not green then the lion is blue.
((("lion" "needs" "bald eagle" "+") ("lion" "is" "green" "~")) -> ("lion" "is" "blue" "+"))
The cow does not chase the bear.
True
1
proof
[(triple3)]
("cow" "chases" "bear" "-")
triple3
The cow chases the bear.
False
1
inv-proof
[(triple3)]
("cow" "chases" "bear" "+")
triple3
The bald eagle is not blue.
Unknown
inv-rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The bear eats the lion.
Unknown
random
[@0: The bear eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "lion" "+")
@0: The bald eagle eats the lion.[(triple1)] The bear needs the bald eagle.[(triple2)] The cow does not chase the bear.[(triple3)] The lion eats the bear.[(triple4)] @1: The lion is blue.[(((triple4) -> rule1))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple2
The cow does not chase the bear.
("cow" "chases" "bear" "-")
triple3
The lion eats the bear.
("lion" "eats" "bear" "+")
triple4
The lion is blue.
("lion" "is" "blue" "+")
((triple4) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1