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