The bald eagle chases the cow. The bear chases the cat. The cat chases the bear. The cow likes the bald eagle. If something needs the cow then it likes the bald eagle. If something needs the bear and it is kind then it likes the bald eagle.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bear chases the cat.
("bear" "chases" "cat" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
If something needs the cow then it likes the bald eagle.
((("something" "needs" "cow" "+")) -> ("something" "likes" "bald eagle" "+"))
If something needs the bear and it is kind then it likes the bald eagle.
((("something" "needs" "bear" "+") ("something" "is" "kind" "+")) -> ("something" "likes" "bald eagle" "+"))
The cow likes the bald eagle.
True
1
proof
[(triple4)]
("cow" "likes" "bald eagle" "+")
triple4
The bald eagle does not chase the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "cow" "-")
triple1
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The cat is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
@0: The bald eagle chases the cow.[(triple1)] The bear chases the cat.[(triple2)] The cat chases the bear.[(triple3)] The cow likes the bald eagle.[(triple4)]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bear chases the cat.
("bear" "chases" "cat" "+")
triple2
The cat chases the bear.
("cat" "chases" "bear" "+")
triple3
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple4