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