The bald eagle sees the bear. The bear does not eat the bald eagle. The dog eats the bald eagle. If the bear eats the bald eagle then the bald eagle is young. If the dog eats the bald eagle and the dog sees the bear then the dog does not like the bald eagle. If something eats the dog and the dog does not eat the bald eagle then the bald eagle likes the bear. If something likes the bear and the bear is green then it is not big. If the bear eats the bald eagle then the bear is rough. If something likes the bald eagle and the bald eagle sees the dog then the dog likes the bear.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear does not eat the bald eagle.
("bear" "eats" "bald eagle" "-")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
If the bear eats the bald eagle then the bald eagle is young.
((("bear" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
If the dog eats the bald eagle and the dog sees the bear then the dog does not like the bald eagle.
((("dog" "eats" "bald eagle" "+") ("dog" "sees" "bear" "+")) -> ("dog" "likes" "bald eagle" "-"))
If something eats the dog and the dog does not eat the bald eagle then the bald eagle likes the bear.
((("something" "eats" "dog" "+") ("dog" "eats" "bald eagle" "~")) -> ("bald eagle" "likes" "bear" "+"))
If something likes the bear and the bear is green then it is not big.
((("something" "likes" "bear" "+") ("bear" "is" "green" "+")) -> ("something" "is" "big" "-"))
If the bear eats the bald eagle then the bear is rough.
((("bear" "eats" "bald eagle" "+")) -> ("bear" "is" "rough" "+"))
If something likes the bald eagle and the bald eagle sees the dog then the dog likes the bear.
((("something" "likes" "bald eagle" "+") ("bald eagle" "sees" "dog" "+")) -> ("dog" "likes" "bear" "+"))
The bald eagle sees the bear.
True
1
proof
[(triple1)]
("bald eagle" "sees" "bear" "+")
triple1
The dog does not eat the bald eagle.
False
1
inv-proof
[(triple3)]
("dog" "eats" "bald eagle" "-")
triple3
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "young" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle sees the bear.[(triple1)] The bear does not eat the bald eagle.[(triple2)] The dog eats the bald eagle.[(triple3)]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bear does not eat the bald eagle.
("bear" "eats" "bald eagle" "-")
triple2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple3