The cat is red. The dog sees the cat. The squirrel sees the cat. If someone sees the cat then the cat does not see the dog. If someone is red then they chase the dog. If someone chases the dog and they are not red then the dog does not like the squirrel. If the cat likes the squirrel then the cat chases the squirrel. If someone sees the squirrel and the squirrel likes the cat then the cat is kind. If someone is red and they do not like the dog then they like the cat. If someone is kind and they do not chase the squirrel then they chase the cat. If someone sees the squirrel and the squirrel chases the dog then they do not chase the cat.
The cat is red.
("cat" "is" "red" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If someone sees the cat then the cat does not see the dog.
((("someone" "sees" "cat" "+")) -> ("cat" "sees" "dog" "-"))
If someone is red then they chase the dog.
((("someone" "is" "red" "+")) -> ("someone" "chases" "dog" "+"))
If someone chases the dog and they are not red then the dog does not like the squirrel.
((("someone" "chases" "dog" "+") ("someone" "is" "red" "~")) -> ("dog" "likes" "squirrel" "-"))
If the cat likes the squirrel then the cat chases the squirrel.
((("cat" "likes" "squirrel" "+")) -> ("cat" "chases" "squirrel" "+"))
If someone sees the squirrel and the squirrel likes the cat then the cat is kind.
((("someone" "sees" "squirrel" "+") ("squirrel" "likes" "cat" "+")) -> ("cat" "is" "kind" "+"))
If someone is red and they do not like the dog then they like the cat.
((("someone" "is" "red" "+") ("someone" "likes" "dog" "~")) -> ("someone" "likes" "cat" "+"))
If someone is kind and they do not chase the squirrel then they chase the cat.
((("someone" "is" "kind" "+") ("someone" "chases" "squirrel" "~")) -> ("someone" "chases" "cat" "+"))
If someone sees the squirrel and the squirrel chases the dog then they do not chase the cat.
((("someone" "sees" "squirrel" "+") ("squirrel" "chases" "dog" "+")) -> ("someone" "chases" "cat" "-"))
The cat is red.
True
1
proof
[(triple1)]
("cat" "is" "red" "+")
triple1
The cat is not red.
False
1
inv-proof
[(triple1)]
("cat" "is" "red" "-")
triple1
The dog does not like the cat.
Unknown
inv-rconc
[@1: The dog likes the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "likes" "cat" "-")
The cat likes the squirrel.
Unknown
random
[@0: The cat likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "squirrel" "+")
@0: The cat is red.[(triple1)] The dog sees the cat.[(triple2)] The squirrel sees the cat.[(triple3)] @1: The cat chases the dog.[(((triple1) -> rule2))] The cat does not see the dog.[(((triple2) -> rule1) OR ((triple3) -> rule1))]
The cat is red.
("cat" "is" "red" "+")
triple1
The dog sees the cat.
("dog" "sees" "cat" "+")
triple2
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple3
The cat chases the dog.
("cat" "chases" "dog" "+")
((triple1) -> (rule2 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat does not see the dog.
("cat" "sees" "dog" "-")
((triple2) -> (rule1 % int1))
The cat does not see the dog.
("cat" "sees" "dog" "-")
int1
((triple3) -> (rule1 % int1))
The cat does not see the dog.
("cat" "sees" "dog" "-")
int1