The bear does not eat the lion. The bear visits the cat. The bear visits the dog. The bear visits the lion. The cat eats the bear. The cat is big. The cat is nice. The cat likes the bear. The dog is big. The dog likes the bear. The lion is kind. The lion is nice. The lion likes the cat. The lion visits the bear. The lion visits the dog. If someone is big then they do not visit the dog. If someone likes the lion and the lion likes the bear then the lion visits the bear. If the dog likes the lion and the lion eats the bear then the bear is kind.
The bear does not eat the lion.
("bear" "eats" "lion" "-")
The bear visits the cat.
("bear" "visits" "cat" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The dog is big.
("dog" "is" "big" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If someone is big then they do not visit the dog.
((("someone" "is" "big" "+")) -> ("someone" "visits" "dog" "-"))
If someone likes the lion and the lion likes the bear then the lion visits the bear.
((("someone" "likes" "lion" "+") ("lion" "likes" "bear" "+")) -> ("lion" "visits" "bear" "+"))
If the dog likes the lion and the lion eats the bear then the bear is kind.
((("dog" "likes" "lion" "+") ("lion" "eats" "bear" "+")) -> ("bear" "is" "kind" "+"))
The lion is kind.
True
1
proof
[(triple11)]
("lion" "is" "kind" "+")
triple11
The dog does not like the bear.
False
1
inv-proof
[(triple10)]
("dog" "likes" "bear" "-")
triple10
The bear is not kind.
Unknown
inv-rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "kind" "-")
The cat is round.
Unknown
random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "+")
@0: The bear does not eat the lion.[(triple1)] The bear visits the cat.[(triple2)] The bear visits the dog.[(triple3)] The bear visits the lion.[(triple4)] The cat eats the bear.[(triple5)] The cat is big.[(triple6)] The cat is nice.[(triple7)] The cat likes the bear.[(triple8)] The dog is big.[(triple9)] The dog likes the bear.[(triple10)] The lion is kind.[(triple11)] The lion is nice.[(triple12)] The lion likes the cat.[(triple13)] The lion visits the bear.[(triple14)] The lion visits the dog.[(triple15)] @1: The cat does not visit the dog.[(((triple6) -> rule1))] The dog does not visit the dog.[(((triple9) -> rule1))]
The bear does not eat the lion.
("bear" "eats" "lion" "-")
triple1
The bear visits the cat.
("bear" "visits" "cat" "+")
triple2
The bear visits the dog.
("bear" "visits" "dog" "+")
triple3
The bear visits the lion.
("bear" "visits" "lion" "+")
triple4
The cat eats the bear.
("cat" "eats" "bear" "+")
triple5
The cat is big.
("cat" "is" "big" "+")
triple6
The cat is nice.
("cat" "is" "nice" "+")
triple7
The cat likes the bear.
("cat" "likes" "bear" "+")
triple8
The dog is big.
("dog" "is" "big" "+")
triple9
The dog likes the bear.
("dog" "likes" "bear" "+")
triple10
The lion is kind.
("lion" "is" "kind" "+")
triple11
The lion is nice.
("lion" "is" "nice" "+")
triple12
The lion likes the cat.
("lion" "likes" "cat" "+")
triple13
The lion visits the bear.
("lion" "visits" "bear" "+")
triple14
The lion visits the dog.
("lion" "visits" "dog" "+")
triple15
The cat does not visit the dog.
("cat" "visits" "dog" "-")
((triple6) -> (rule1 % int1))
The cat does not visit the dog.
("cat" "visits" "dog" "-")
int1
The dog does not visit the dog.
("dog" "visits" "dog" "-")
((triple9) -> (rule1 % int1))
The dog does not visit the dog.
("dog" "visits" "dog" "-")
int1