The cat is kind. The cat is round. The cat is young. The dog is green. The dog is young. The dog likes the squirrel. The squirrel likes the dog. If something is kind then it does not visit the squirrel. If something chases the dog and the dog chases the squirrel then the squirrel visits the cat.
The cat is kind.
("cat" "is" "kind" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If something is kind then it does not visit the squirrel.
((("something" "is" "kind" "+")) -> ("something" "visits" "squirrel" "-"))
If something chases the dog and the dog chases the squirrel then the squirrel visits the cat.
((("something" "chases" "dog" "+") ("dog" "chases" "squirrel" "+")) -> ("squirrel" "visits" "cat" "+"))
The cat is round.
True
1
proof
[(triple2)]
("cat" "is" "round" "+")
triple2
The dog does not like the squirrel.
False
1
inv-proof
[(triple6)]
("dog" "likes" "squirrel" "-")
triple6
The squirrel does not visit the cat.
Unknown
inv-rconc
[@1: The squirrel visits the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "visits" "cat" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
@0: The cat is kind.[(triple1)] The cat is round.[(triple2)] The cat is young.[(triple3)] The dog is green.[(triple4)] The dog is young.[(triple5)] The dog likes the squirrel.[(triple6)] The squirrel likes the dog.[(triple7)] @1: The cat does not visit the squirrel.[(((triple1) -> rule1))]
The cat is kind.
("cat" "is" "kind" "+")
triple1
The cat is round.
("cat" "is" "round" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple6
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple7
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
((triple1) -> (rule1 % int1))
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
int1