The bear chases the cat. The bear is cold. The bear likes the dog. The cat eats the dog. The cat eats the squirrel. The dog eats the bear. The dog eats the squirrel. The dog is cold. The dog is nice. The dog likes the bear. The squirrel chases the bear. The squirrel eats the cat. The squirrel eats the dog. The squirrel is cold. The squirrel is young. The squirrel likes the dog. If the squirrel chases the cat then the cat chases the bear. If something chases the squirrel then it is big.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If the squirrel chases the cat then the cat chases the bear.
((("squirrel" "chases" "cat" "+")) -> ("cat" "chases" "bear" "+"))
If something chases the squirrel then it is big.
((("something" "chases" "squirrel" "+")) -> ("something" "is" "big" "+"))
The bear likes the dog.
True
1
proof
[(triple3)]
("bear" "likes" "dog" "+")
triple3
The squirrel does not chase the bear.
False
1
inv-proof
[(triple11)]
("squirrel" "chases" "bear" "-")
triple11
The bear is not big.
Unknown
inv-rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "big" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
@0: The bear chases the cat.[(triple1)] The bear is cold.[(triple2)] The bear likes the dog.[(triple3)] The cat eats the dog.[(triple4)] The cat eats the squirrel.[(triple5)] The dog eats the bear.[(triple6)] The dog eats the squirrel.[(triple7)] The dog is cold.[(triple8)] The dog is nice.[(triple9)] The dog likes the bear.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel eats the cat.[(triple12)] The squirrel eats the dog.[(triple13)] The squirrel is cold.[(triple14)] The squirrel is young.[(triple15)] The squirrel likes the dog.[(triple16)]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The cat eats the dog.
("cat" "eats" "dog" "+")
triple4
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple5
The dog eats the bear.
("dog" "eats" "bear" "+")
triple6
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog likes the bear.
("dog" "likes" "bear" "+")
triple10
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple11
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple12
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple13
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple14
The squirrel is young.
("squirrel" "is" "young" "+")
triple15
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple16