The cat is not red. The dog visits the cat. If something visits the cat and it chases the cat then it likes the dog. If the dog visits the cat then the dog likes the cat.
The cat is not red.
("cat" "is" "red" "-")
The dog visits the cat.
("dog" "visits" "cat" "+")
If something visits the cat and it chases the cat then it likes the dog.
((("something" "visits" "cat" "+") ("something" "chases" "cat" "+")) -> ("something" "likes" "dog" "+"))
If the dog visits the cat then the dog likes the cat.
((("dog" "visits" "cat" "+")) -> ("dog" "likes" "cat" "+"))
The cat is not red.
True
1
proof
[(triple1)]
("cat" "is" "red" "-")
triple1
The cat is red.
False
1
inv-proof
[(triple1)]
("cat" "is" "red" "+")
triple1
The dog likes the cat.
True
2
proof
[(((triple2) -> rule2))]
("dog" "likes" "cat" "+")
((triple2) -> (rule2 % int1))
The dog likes the cat.
("dog" "likes" "cat" "+")
int1
The dog does not like the cat.
False
2
inv-proof
[(((triple2) -> rule2))]
("dog" "likes" "cat" "-")
((triple2) -> (rule2 % int1))
The dog likes the cat.
("dog" "likes" "cat" "+")
int1
The cat does not like the dog.
Unknown
inv-rconc
[@1: The cat likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "dog" "-")
The dog likes the dog.
Unknown
rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "dog" "+")
The dog is not big.
Unknown
inv-random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
@0: The cat is not red.[(triple1)] The dog visits the cat.[(triple2)] @1: The dog likes the cat.[(((triple2) -> rule2))]
The cat is not red.
("cat" "is" "red" "-")
triple1
The dog visits the cat.
("dog" "visits" "cat" "+")
triple2
The dog likes the cat.
("dog" "likes" "cat" "+")
((triple2) -> (rule2 % int1))
The dog likes the cat.
("dog" "likes" "cat" "+")
int1