The cat needs the squirrel. The cat visits the dog. The dog needs the rabbit. The rabbit visits the cat. The squirrel chases the cat. The squirrel is blue. The squirrel is young. If something visits the dog and it needs the rabbit then the rabbit is kind. If the dog does not chase the squirrel then the dog visits the squirrel. If something needs the dog then the dog visits the squirrel. If the squirrel chases the cat then the cat chases the squirrel. If something chases the rabbit and it does not chase the dog then the rabbit visits the squirrel. If something visits the rabbit then the rabbit is red. If something is young and it does not visit the cat then it is cold. If the squirrel is kind then the squirrel is blue.
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If something visits the dog and it needs the rabbit then the rabbit is kind.
((("something" "visits" "dog" "+") ("something" "needs" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If the dog does not chase the squirrel then the dog visits the squirrel.
((("dog" "chases" "squirrel" "~")) -> ("dog" "visits" "squirrel" "+"))
If something needs the dog then the dog visits the squirrel.
((("something" "needs" "dog" "+")) -> ("dog" "visits" "squirrel" "+"))
If the squirrel chases the cat then the cat chases the squirrel.
((("squirrel" "chases" "cat" "+")) -> ("cat" "chases" "squirrel" "+"))
If something chases the rabbit and it does not chase the dog then the rabbit visits the squirrel.
((("something" "chases" "rabbit" "+") ("something" "chases" "dog" "~")) -> ("rabbit" "visits" "squirrel" "+"))
If something visits the rabbit then the rabbit is red.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "is" "red" "+"))
If something is young and it does not visit the cat then it is cold.
((("something" "is" "young" "+") ("something" "visits" "cat" "~")) -> ("something" "is" "cold" "+"))
If the squirrel is kind then the squirrel is blue.
((("squirrel" "is" "kind" "+")) -> ("squirrel" "is" "blue" "+"))
The squirrel is young.
True
1
proof
[(triple7)]
("squirrel" "is" "young" "+")
triple7
The cat does not visit the dog.
False
1
inv-proof
[(triple2)]
("cat" "visits" "dog" "-")
triple2
The dog is not cold.
Unknown
inv-rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "is" "cold" "-")
The rabbit is blue.
Unknown
random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "+")
@0: The cat needs the squirrel.[(triple1)] The cat visits the dog.[(triple2)] The dog needs the rabbit.[(triple3)] The rabbit visits the cat.[(triple4)] The squirrel chases the cat.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is young.[(triple7)] @1: The cat chases the squirrel.[(((triple5) -> rule4))]
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple1
The cat visits the dog.
("cat" "visits" "dog" "+")
triple2
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple3
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple4
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple5
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple6
The squirrel is young.
("squirrel" "is" "young" "+")
triple7
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
((triple5) -> (rule4 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1