The bald eagle does not eat the lion. The bald eagle is blue. The bald eagle is kind. The bald eagle needs the bear. The bald eagle does not visit the bear. The bald eagle visits the lion. The bear is blue. The bear is kind. The bear needs the bald eagle. The lion eats the bald eagle. The lion is young. The lion needs the bald eagle. The lion needs the bear. The lion does not visit the bald eagle. The lion visits the bear. If the bald eagle is big and the bald eagle does not need the bear then the bear eats the lion. If something eats the bear and it visits the bald eagle then the bald eagle eats the lion. If the lion needs the bald eagle then the lion is big. If the lion eats the bear then the bear does not need the bald eagle. If something eats the bald eagle and the bald eagle is young then it is not blue. If something visits the bear and the bear does not need the lion then the bear is young.
The bald eagle does not eat the lion.
("bald eagle" "eats" "lion" "-")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle does not visit the bear.
("bald eagle" "visits" "bear" "-")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion does not visit the bald eagle.
("lion" "visits" "bald eagle" "-")
The lion visits the bear.
("lion" "visits" "bear" "+")
If the bald eagle is big and the bald eagle does not need the bear then the bear eats the lion.
((("bald eagle" "is" "big" "+") ("bald eagle" "needs" "bear" "~")) -> ("bear" "eats" "lion" "+"))
If something eats the bear and it visits the bald eagle then the bald eagle eats the lion.
((("something" "eats" "bear" "+") ("something" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "+"))
If the lion needs the bald eagle then the lion is big.
((("lion" "needs" "bald eagle" "+")) -> ("lion" "is" "big" "+"))
If the lion eats the bear then the bear does not need the bald eagle.
((("lion" "eats" "bear" "+")) -> ("bear" "needs" "bald eagle" "-"))
If something eats the bald eagle and the bald eagle is young then it is not blue.
((("something" "eats" "bald eagle" "+") ("bald eagle" "is" "young" "+")) -> ("something" "is" "blue" "-"))
If something visits the bear and the bear does not need the lion then the bear is young.
((("something" "visits" "bear" "+") ("bear" "needs" "lion" "~")) -> ("bear" "is" "young" "+"))
The lion needs the bald eagle.
True
1
proof
[(triple12)]
("lion" "needs" "bald eagle" "+")
triple12
The bald eagle does not need the bear.
False
1
inv-proof
[(triple4)]
("bald eagle" "needs" "bear" "-")
triple4
The bear does not eat the lion.
Unknown
inv-rconc
[@1: The bear eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "eats" "lion" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bald eagle does not eat the lion.[(triple1)] The bald eagle does not visit the bear.[(triple5)] The bald eagle is blue.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle needs the bear.[(triple4)] The bald eagle visits the lion.[(triple6)] The bear is blue.[(triple7)] The bear is kind.[(triple8)] The bear needs the bald eagle.[(triple9)] The lion does not visit the bald eagle.[(triple14)] The lion eats the bald eagle.[(triple10)] The lion is young.[(triple11)] The lion needs the bald eagle.[(triple12)] The lion needs the bear.[(triple13)] The lion visits the bear.[(triple15)] @1: The lion is big.[(((triple12) -> rule3))]
The bald eagle does not eat the lion.
("bald eagle" "eats" "lion" "-")
triple1
The bald eagle does not visit the bear.
("bald eagle" "visits" "bear" "-")
triple5
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple6
The bear is blue.
("bear" "is" "blue" "+")
triple7
The bear is kind.
("bear" "is" "kind" "+")
triple8
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple9
The lion does not visit the bald eagle.
("lion" "visits" "bald eagle" "-")
triple14
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple10
The lion is young.
("lion" "is" "young" "+")
triple11
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple12
The lion needs the bear.
("lion" "needs" "bear" "+")
triple13
The lion visits the bear.
("lion" "visits" "bear" "+")
triple15
The lion is big.
("lion" "is" "big" "+")
((triple12) -> (rule3 % int1))
The lion is big.
("lion" "is" "big" "+")
int1