The cat likes the dog. The dog eats the cat. If someone likes the dog then the dog visits the cat. If someone likes the dog then they visit the cat. If someone likes the dog then the dog is green. If someone likes the dog then they like the cat. If someone eats the dog then they are young. If someone eats the cat and the cat eats the dog then the cat visits the dog.
The cat likes the dog.
("cat" "likes" "dog" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
If someone likes the dog then the dog visits the cat.
((("someone" "likes" "dog" "+")) -> ("dog" "visits" "cat" "+"))
If someone likes the dog then they visit the cat.
((("someone" "likes" "dog" "+")) -> ("someone" "visits" "cat" "+"))
If someone likes the dog then the dog is green.
((("someone" "likes" "dog" "+")) -> ("dog" "is" "green" "+"))
If someone likes the dog then they like the cat.
((("someone" "likes" "dog" "+")) -> ("someone" "likes" "cat" "+"))
If someone eats the dog then they are young.
((("someone" "eats" "dog" "+")) -> ("someone" "is" "young" "+"))
If someone eats the cat and the cat eats the dog then the cat visits the dog.
((("someone" "eats" "cat" "+") ("cat" "eats" "dog" "+")) -> ("cat" "visits" "dog" "+"))
The dog eats the cat.
True
1
proof
[(triple2)]
("dog" "eats" "cat" "+")
triple2
The dog does not eat the cat.
False
1
inv-proof
[(triple2)]
("dog" "eats" "cat" "-")
triple2
The cat likes the cat.
True
2
proof
[(((triple1) -> rule4))]
("cat" "likes" "cat" "+")
((triple1) -> (rule4 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The dog does not visit the cat.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "visits" "cat" "-")
((triple1) -> (rule1 % int1))
The dog visits the cat.
("dog" "visits" "cat" "+")
int1
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "is" "young" "-")
The cat is young.
Unknown
rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "young" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
@0: The cat likes the dog.[(triple1)] The dog eats the cat.[(triple2)] @1: The cat likes the cat.[(((triple1) -> rule4))] The cat visits the cat.[(((triple1) -> rule2))] The dog is green.[(((triple1) -> rule3))] The dog visits the cat.[(((triple1) -> rule1))]
The cat likes the dog.
("cat" "likes" "dog" "+")
triple1
The dog eats the cat.
("dog" "eats" "cat" "+")
triple2
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple1) -> (rule4 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
((triple1) -> (rule2 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The dog is green.
("dog" "is" "green" "+")
((triple1) -> (rule3 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog visits the cat.
("dog" "visits" "cat" "+")
((triple1) -> (rule1 % int1))
The dog visits the cat.
("dog" "visits" "cat" "+")
int1