The bald eagle eats the bear. The bald eagle eats the lion. The bald eagle needs the lion. The bear eats the bald eagle. The bear likes the bald eagle. The bear needs the lion. The lion eats the bald eagle. The lion eats the bear. The lion is rough. The lion likes the bear. If the lion likes the bald eagle then the lion eats the bear. If someone needs the bald eagle then they eat the bald eagle.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
If the lion likes the bald eagle then the lion eats the bear.
((("lion" "likes" "bald eagle" "+")) -> ("lion" "eats" "bear" "+"))
If someone needs the bald eagle then they eat the bald eagle.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "eats" "bald eagle" "+"))
The lion is rough.
True
1
proof
[(triple9)]
("lion" "is" "rough" "+")
triple9
The bear does not need the lion.
False
1
inv-proof
[(triple6)]
("bear" "needs" "lion" "-")
triple6
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle likes the lion.
Unknown
random
[@0: The bald eagle likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "lion" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle needs the lion.[(triple3)] The bear eats the bald eagle.[(triple4)] The bear likes the bald eagle.[(triple5)] The bear needs the lion.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion eats the bear.[(triple8)] The lion is rough.[(triple9)] The lion likes the bear.[(triple10)]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple3
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple4
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple5
The bear needs the lion.
("bear" "needs" "lion" "+")
triple6
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple7
The lion eats the bear.
("lion" "eats" "bear" "+")
triple8
The lion is rough.
("lion" "is" "rough" "+")
triple9
The lion likes the bear.
("lion" "likes" "bear" "+")
triple10