The bear eats the cat. The bear is cold. The bear likes the cat. The cat likes the dog. The cat likes the squirrel. The dog does not chase the squirrel. The squirrel eats the cat. The squirrel eats the dog. The squirrel is big. The squirrel likes the bear. If something likes the dog then it likes the squirrel. If something chases the bear and the bear is young then it likes the cat. If something chases the cat then it is kind.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
If something likes the dog then it likes the squirrel.
((("something" "likes" "dog" "+")) -> ("something" "likes" "squirrel" "+"))
If something chases the bear and the bear is young then it likes the cat.
((("something" "chases" "bear" "+") ("bear" "is" "young" "+")) -> ("something" "likes" "cat" "+"))
If something chases the cat then it is kind.
((("something" "chases" "cat" "+")) -> ("something" "is" "kind" "+"))
The cat likes the dog.
True
1
proof
[(triple4)]
("cat" "likes" "dog" "+")
triple4
The squirrel is not big.
False
1
inv-proof
[(triple9)]
("squirrel" "is" "big" "-")
triple9
The dog is not kind.
Unknown
inv-rconc
[@1: The dog is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "kind" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The bear eats the cat.[(triple1)] The bear is cold.[(triple2)] The bear likes the cat.[(triple3)] The cat likes the dog.[(triple4)] The cat likes the squirrel.[(triple5 OR ((triple4) -> rule1))] The dog does not chase the squirrel.[(triple6)] The squirrel eats the cat.[(triple7)] The squirrel eats the dog.[(triple8)] The squirrel is big.[(triple9)] The squirrel likes the bear.[(triple10)]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear likes the cat.
("bear" "likes" "cat" "+")
triple3
The cat likes the dog.
("cat" "likes" "dog" "+")
triple4
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple5
((triple4) -> (rule1 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
triple6
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple7
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple8
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple10