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