The cat is young. The cat likes the cow. The cat needs the cow. The cow likes the dog. The cow needs the squirrel. The cow visits the cat. The cow visits the squirrel. The dog is green. The dog likes the squirrel. The dog needs the cat. The dog visits the cat. The dog visits the squirrel. The squirrel is blue. The squirrel likes the cow. The squirrel needs the dog. If something likes the squirrel and it is kind then the squirrel visits the dog. If something needs the cat then it visits the dog.
The cat is young.
("cat" "is" "young" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If something likes the squirrel and it is kind then the squirrel visits the dog.
((("something" "likes" "squirrel" "+") ("something" "is" "kind" "+")) -> ("squirrel" "visits" "dog" "+"))
If something needs the cat then it visits the dog.
((("something" "needs" "cat" "+")) -> ("something" "visits" "dog" "+"))
The cow visits the cat.
True
1
proof
[(triple6)]
("cow" "visits" "cat" "+")
triple6
The dog does not like the squirrel.
False
1
inv-proof
[(triple9)]
("dog" "likes" "squirrel" "-")
triple9
The dog visits the dog.
True
2
proof
[(((triple10) -> rule2))]
("dog" "visits" "dog" "+")
((triple10) -> (rule2 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog does not visit the dog.
False
2
inv-proof
[(((triple10) -> rule2))]
("dog" "visits" "dog" "-")
((triple10) -> (rule2 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The cat does not visit the dog.
Unknown
inv-rconc
[@1: The cat visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "visits" "dog" "-")
The cow visits the dog.
Unknown
rconc
[@1: The cow visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "visits" "dog" "+")
The dog is not young.
Unknown
inv-random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "-")
The dog likes the cow.
Unknown
random
[@0: The dog likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "cow" "+")
@0: The cat is young.[(triple1)] The cat likes the cow.[(triple2)] The cat needs the cow.[(triple3)] The cow likes the dog.[(triple4)] The cow needs the squirrel.[(triple5)] The cow visits the cat.[(triple6)] The cow visits the squirrel.[(triple7)] The dog is green.[(triple8)] The dog likes the squirrel.[(triple9)] The dog needs the cat.[(triple10)] The dog visits the cat.[(triple11)] The dog visits the squirrel.[(triple12)] The squirrel is blue.[(triple13)] The squirrel likes the cow.[(triple14)] The squirrel needs the dog.[(triple15)] @1: The dog visits the dog.[(((triple10) -> rule2))]
The cat is young.
("cat" "is" "young" "+")
triple1
The cat likes the cow.
("cat" "likes" "cow" "+")
triple2
The cat needs the cow.
("cat" "needs" "cow" "+")
triple3
The cow likes the dog.
("cow" "likes" "dog" "+")
triple4
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple5
The cow visits the cat.
("cow" "visits" "cat" "+")
triple6
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple9
The dog needs the cat.
("dog" "needs" "cat" "+")
triple10
The dog visits the cat.
("dog" "visits" "cat" "+")
triple11
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple12
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple13
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple14
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple15
The dog visits the dog.
("dog" "visits" "dog" "+")
((triple10) -> (rule2 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1