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