The bear is blue. The bear visits the lion. The bear visits the rabbit. The cat is red. The cat likes the lion. The cat likes the rabbit. The lion eats the bear. The lion eats the cat. The lion visits the rabbit. The rabbit likes the bear. If the rabbit is not young then the rabbit is red. If someone likes the cat and they visit the lion then the cat is blue. If someone eats the lion then the lion does not eat the bear.
The bear is blue.
("bear" "is" "blue" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The cat is red.
("cat" "is" "red" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
If the rabbit is not young then the rabbit is red.
((("rabbit" "is" "young" "~")) -> ("rabbit" "is" "red" "+"))
If someone likes the cat and they visit the lion then the cat is blue.
((("someone" "likes" "cat" "+") ("someone" "visits" "lion" "+")) -> ("cat" "is" "blue" "+"))
If someone eats the lion then the lion does not eat the bear.
((("someone" "eats" "lion" "+")) -> ("lion" "eats" "bear" "-"))
The lion eats the cat.
True
1
proof
[(triple8)]
("lion" "eats" "cat" "+")
triple8
The bear is not blue.
False
1
inv-proof
[(triple1)]
("bear" "is" "blue" "-")
triple1
The cat is not blue.
Unknown
inv-rconc
[@1: The cat is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "blue" "-")
The cat likes the bear.
Unknown
random
[@0: The cat likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bear" "+")
@0: The bear is blue.[(triple1)] The bear visits the lion.[(triple2)] The bear visits the rabbit.[(triple3)] The cat is red.[(triple4)] The cat likes the lion.[(triple5)] The cat likes the rabbit.[(triple6)] The lion eats the bear.[(triple7)] The lion eats the cat.[(triple8)] The lion visits the rabbit.[(triple9)] The rabbit likes the bear.[(triple10)]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear visits the lion.
("bear" "visits" "lion" "+")
triple2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple3
The cat is red.
("cat" "is" "red" "+")
triple4
The cat likes the lion.
("cat" "likes" "lion" "+")
triple5
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple6
The lion eats the bear.
("lion" "eats" "bear" "+")
triple7
The lion eats the cat.
("lion" "eats" "cat" "+")
triple8
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple9
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple10