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