The bear does not like the cat. The bear needs the cat. The bear visits the cat. The bear does not visit the rabbit. The cat is big. The cat is blue. The cat does not like the bear. The cat needs the bear. The cat needs the rabbit. The cat visits the bear. The cat visits the rabbit. The rabbit visits the bear. If the rabbit does not need the bear and the bear is not blue then the bear is red. If something needs the cat then it likes the rabbit. If something needs the bear and it does not like the cat then it does not need the rabbit.
The bear does not like the cat.
("bear" "likes" "cat" "-")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The bear does not visit the rabbit.
("bear" "visits" "rabbit" "-")
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat does not like the bear.
("cat" "likes" "bear" "-")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If the rabbit does not need the bear and the bear is not blue then the bear is red.
((("rabbit" "needs" "bear" "~") ("bear" "is" "blue" "~")) -> ("bear" "is" "red" "+"))
If something needs the cat then it likes the rabbit.
((("something" "needs" "cat" "+")) -> ("something" "likes" "rabbit" "+"))
If something needs the bear and it does not like the cat then it does not need the rabbit.
((("something" "needs" "bear" "+") ("something" "likes" "cat" "~")) -> ("something" "needs" "rabbit" "-"))
The cat is blue.
True
1
proof
[(triple6)]
("cat" "is" "blue" "+")
triple6
The cat does not need the bear.
False
1
inv-proof
[(triple8)]
("cat" "needs" "bear" "-")
triple8
The bear is not red.
Unknown
inv-rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "red" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear does not like the cat.[(triple1)] The bear does not visit the rabbit.[(triple4)] The bear needs the cat.[(triple2)] The bear visits the cat.[(triple3)] The cat does not like the bear.[(triple7)] The cat is big.[(triple5)] The cat is blue.[(triple6)] The cat needs the bear.[(triple8)] The cat needs the rabbit.[(triple9)] The cat visits the bear.[(triple10)] The cat visits the rabbit.[(triple11)] The rabbit visits the bear.[(triple12)] @1: The bear likes the rabbit.[(((triple2) -> rule2))]
The bear does not like the cat.
("bear" "likes" "cat" "-")
triple1
The bear does not visit the rabbit.
("bear" "visits" "rabbit" "-")
triple4
The bear needs the cat.
("bear" "needs" "cat" "+")
triple2
The bear visits the cat.
("bear" "visits" "cat" "+")
triple3
The cat does not like the bear.
("cat" "likes" "bear" "-")
triple7
The cat is big.
("cat" "is" "big" "+")
triple5
The cat is blue.
("cat" "is" "blue" "+")
triple6
The cat needs the bear.
("cat" "needs" "bear" "+")
triple8
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple9
The cat visits the bear.
("cat" "visits" "bear" "+")
triple10
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple11
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple12
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
((triple2) -> (rule2 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1