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