The cat chases the dog. The dog visits the cat. The squirrel sees the dog. If the squirrel is kind and the squirrel sees the cat then the cat is rough. If something chases the cat and the cat sees the dog then the cat chases the squirrel. If something visits the squirrel and it is round then the squirrel is blue.
The cat chases the dog.
("cat" "chases" "dog" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If the squirrel is kind and the squirrel sees the cat then the cat is rough.
((("squirrel" "is" "kind" "+") ("squirrel" "sees" "cat" "+")) -> ("cat" "is" "rough" "+"))
If something chases the cat and the cat sees the dog then the cat chases the squirrel.
((("something" "chases" "cat" "+") ("cat" "sees" "dog" "+")) -> ("cat" "chases" "squirrel" "+"))
If something visits the squirrel and it is round then the squirrel is blue.
((("something" "visits" "squirrel" "+") ("something" "is" "round" "+")) -> ("squirrel" "is" "blue" "+"))
The squirrel sees the dog.
True
1
proof
[(triple3)]
("squirrel" "sees" "dog" "+")
triple3
The dog does not visit the cat.
False
1
inv-proof
[(triple2)]
("dog" "visits" "cat" "-")
triple2
The cat does not chase the squirrel.
Unknown
inv-rconc
[@1: The cat chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "chases" "squirrel" "-")
The squirrel visits the cat.
Unknown
random
[@0: The squirrel visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "cat" "+")
@0: The cat chases the dog.[(triple1)] The dog visits the cat.[(triple2)] The squirrel sees the dog.[(triple3)]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The dog visits the cat.
("dog" "visits" "cat" "+")
triple2
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple3