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