The cat likes the cow. The cat likes the squirrel. The cat visits the dog. The cat visits the squirrel. The cow chases the cat. The cow chases the dog. The cow chases the squirrel. The cow likes the squirrel. The cow visits the cat. The dog chases the cat. The dog is green. The dog likes the cow. The dog visits the cow. The dog visits the squirrel. The squirrel is big. The squirrel visits the cat. If someone visits the squirrel then the squirrel is green. If someone likes the cow and they like the squirrel then the squirrel likes the cat.
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone visits the squirrel then the squirrel is green.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
If someone likes the cow and they like the squirrel then the squirrel likes the cat.
((("someone" "likes" "cow" "+") ("someone" "likes" "squirrel" "+")) -> ("squirrel" "likes" "cat" "+"))
The cow chases the dog.
True
1
proof
[(triple6)]
("cow" "chases" "dog" "+")
triple6
The dog does not chase the cat.
False
1
inv-proof
[(triple10)]
("dog" "chases" "cat" "-")
triple10
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The cat likes the cow.[(triple1)] The cat likes the squirrel.[(triple2)] The cat visits the dog.[(triple3)] The cat visits the squirrel.[(triple4)] The cow chases the cat.[(triple5)] The cow chases the dog.[(triple6)] The cow chases the squirrel.[(triple7)] The cow likes the squirrel.[(triple8)] The cow visits the cat.[(triple9)] The dog chases the cat.[(triple10)] The dog is green.[(triple11)] The dog likes the cow.[(triple12)] The dog visits the cow.[(triple13)] The dog visits the squirrel.[(triple14)] The squirrel is big.[(triple15)] The squirrel visits the cat.[(triple16)] @1: The squirrel is green.[(((triple14) -> rule1) OR ((triple4) -> rule1))] The squirrel likes the cat.[(((triple1 triple2) -> rule2))]
The cat likes the cow.
("cat" "likes" "cow" "+")
triple1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple2
The cat visits the dog.
("cat" "visits" "dog" "+")
triple3
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple4
The cow chases the cat.
("cow" "chases" "cat" "+")
triple5
The cow chases the dog.
("cow" "chases" "dog" "+")
triple6
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple7
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple8
The cow visits the cat.
("cow" "visits" "cat" "+")
triple9
The dog chases the cat.
("dog" "chases" "cat" "+")
triple10
The dog is green.
("dog" "is" "green" "+")
triple11
The dog likes the cow.
("dog" "likes" "cow" "+")
triple12
The dog visits the cow.
("dog" "visits" "cow" "+")
triple13
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple14
The squirrel is big.
("squirrel" "is" "big" "+")
triple15
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple16
The squirrel is green.
("squirrel" "is" "green" "+")
((triple14) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
((triple4) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
((triple1 triple2) -> (rule2 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1