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