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