The bear likes the cat. The bear does not need the cat. The cat does not need the lion. The cow is red. The cow needs the lion. The lion is green. The lion needs the bear. If something likes the bear then the bear is green. If something is green and it likes the lion then it does not need the cat. If the cat is blue then the cat eats the bear. If something likes the bear and the bear likes the lion then the bear is big. If something is big and not cold then it eats the bear. If the bear is big and the bear is not green then the bear likes the cat.
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear does not need the cat.
("bear" "needs" "cat" "-")
The cat does not need the lion.
("cat" "needs" "lion" "-")
The cow is red.
("cow" "is" "red" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion is green.
("lion" "is" "green" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
If something likes the bear then the bear is green.
((("something" "likes" "bear" "+")) -> ("bear" "is" "green" "+"))
If something is green and it likes the lion then it does not need the cat.
((("something" "is" "green" "+") ("something" "likes" "lion" "+")) -> ("something" "needs" "cat" "-"))
If the cat is blue then the cat eats the bear.
((("cat" "is" "blue" "+")) -> ("cat" "eats" "bear" "+"))
If something likes the bear and the bear likes the lion then the bear is big.
((("something" "likes" "bear" "+") ("bear" "likes" "lion" "+")) -> ("bear" "is" "big" "+"))
If something is big and not cold then it eats the bear.
((("something" "is" "big" "+") ("something" "is" "cold" "~")) -> ("something" "eats" "bear" "+"))
If the bear is big and the bear is not green then the bear likes the cat.
((("bear" "is" "big" "+") ("bear" "is" "green" "~")) -> ("bear" "likes" "cat" "+"))
The bear does not need the cat.
True
1
proof
[(triple2)]
("bear" "needs" "cat" "-")
triple2
The lion is not green.
False
1
inv-proof
[(triple6)]
("lion" "is" "green" "-")
triple6
The lion does not eat the bear.
Unknown
inv-rconc
[@1: The lion eats the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "eats" "bear" "-")
The lion is big.
Unknown
random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "+")
@0: The bear does not need the cat.[(triple2)] The bear likes the cat.[(triple1)] The cat does not need the lion.[(triple3)] The cow is red.[(triple4)] The cow needs the lion.[(triple5)] The lion is green.[(triple6)] The lion needs the bear.[(triple7)]
The bear does not need the cat.
("bear" "needs" "cat" "-")
triple2
The bear likes the cat.
("bear" "likes" "cat" "+")
triple1
The cat does not need the lion.
("cat" "needs" "lion" "-")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow needs the lion.
("cow" "needs" "lion" "+")
triple5
The lion is green.
("lion" "is" "green" "+")
triple6
The lion needs the bear.
("lion" "needs" "bear" "+")
triple7