The bald eagle chases the lion. The bald eagle eats the bear. The bald eagle is big. The bald eagle needs the cow. The bear is big. The bear needs the cow. The cow needs the bear. The lion chases the cow. The lion eats the cow. The lion is kind. If something needs the bald eagle then it needs the cow.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bear is big.
("bear" "is" "big" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is kind.
("lion" "is" "kind" "+")
If something needs the bald eagle then it needs the cow.
((("something" "needs" "bald eagle" "+")) -> ("something" "needs" "cow" "+"))
The lion eats the cow.
True
1
proof
[(triple9)]
("lion" "eats" "cow" "+")
triple9
The bald eagle does not need the cow.
False
1
inv-proof
[(triple4)]
("bald eagle" "needs" "cow" "-")
triple4
The lion does not need the cow.
Unknown
inv-rconc
[@1: The lion needs the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "needs" "cow" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle needs the cow.[(triple4)] The bear is big.[(triple5)] The bear needs the cow.[(triple6)] The cow needs the bear.[(triple7)] The lion chases the cow.[(triple8)] The lion eats the cow.[(triple9)] The lion is kind.[(triple10)]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
triple5
The bear needs the cow.
("bear" "needs" "cow" "+")
triple6
The cow needs the bear.
("cow" "needs" "bear" "+")
triple7
The lion chases the cow.
("lion" "chases" "cow" "+")
triple8
The lion eats the cow.
("lion" "eats" "cow" "+")
triple9
The lion is kind.
("lion" "is" "kind" "+")
triple10