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