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