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