The cat is blue. The cow likes the dog. The dog needs the cat. If the cat eats the cow then the cat is young.
The cat is blue.
("cat" "is" "blue" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
If the cat eats the cow then the cat is young.
((("cat" "eats" "cow" "+")) -> ("cat" "is" "young" "+"))
The cow likes the dog.
True
1
proof
[(triple2)]
("cow" "likes" "dog" "+")
triple2
The dog does not need the cat.
False
1
inv-proof
[(triple3)]
("dog" "needs" "cat" "-")
triple3
The cat is not young.
Unknown
inv-rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "young" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The cat is blue.[(triple1)] The cow likes the dog.[(triple2)] The dog needs the cat.[(triple3)]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cow likes the dog.
("cow" "likes" "dog" "+")
triple2
The dog needs the cat.
("dog" "needs" "cat" "+")
triple3