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