The cat eats the dog. The cat is green. The cat is not kind. The cat needs the dog. The cat does not need the tiger. The cat visits the tiger. The dog is young. The dog does not need the cat. The dog visits the cat. The dog visits the tiger. The tiger eats the dog. The tiger visits the dog. If someone needs the dog and they are not big then they do not visit the dog. If someone is kind then they visit the dog. If someone visits the dog and the dog needs the tiger then they are kind. If the cat is big then the cat does not eat the dog. If someone eats the tiger then they need the dog. If someone is green and they do not eat the cat then they visit the tiger. If someone eats the cat and they need the cat then they visit the tiger. If someone visits the cat and they do not eat the dog then the dog needs the cat.
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is not kind.
("cat" "is" "kind" "-")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat does not need the tiger.
("cat" "needs" "tiger" "-")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The dog is young.
("dog" "is" "young" "+")
The dog does not need the cat.
("dog" "needs" "cat" "-")
The dog visits the cat.
("dog" "visits" "cat" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If someone needs the dog and they are not big then they do not visit the dog.
((("someone" "needs" "dog" "+") ("someone" "is" "big" "~")) -> ("someone" "visits" "dog" "-"))
If someone is kind then they visit the dog.
((("someone" "is" "kind" "+")) -> ("someone" "visits" "dog" "+"))
If someone visits the dog and the dog needs the tiger then they are kind.
((("someone" "visits" "dog" "+") ("dog" "needs" "tiger" "+")) -> ("someone" "is" "kind" "+"))
If the cat is big then the cat does not eat the dog.
((("cat" "is" "big" "+")) -> ("cat" "eats" "dog" "-"))
If someone eats the tiger then they need the dog.
((("someone" "eats" "tiger" "+")) -> ("someone" "needs" "dog" "+"))
If someone is green and they do not eat the cat then they visit the tiger.
((("someone" "is" "green" "+") ("someone" "eats" "cat" "~")) -> ("someone" "visits" "tiger" "+"))
If someone eats the cat and they need the cat then they visit the tiger.
((("someone" "eats" "cat" "+") ("someone" "needs" "cat" "+")) -> ("someone" "visits" "tiger" "+"))
If someone visits the cat and they do not eat the dog then the dog needs the cat.
((("someone" "visits" "cat" "+") ("someone" "eats" "dog" "~")) -> ("dog" "needs" "cat" "+"))
The dog is young.
True
1
proof
[(triple7)]
("dog" "is" "young" "+")
triple7
The tiger does not eat the dog.
False
1
inv-proof
[(triple11)]
("tiger" "eats" "dog" "-")
triple11
The tiger does not need the dog.
Unknown
inv-rconc
[@1: The tiger needs the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "needs" "dog" "-")
The dog needs the tiger.
Unknown
random
[@0: The dog needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "tiger" "+")
@0: The cat does not need the tiger.[(triple5)] The cat eats the dog.[(triple1)] The cat is green.[(triple2)] The cat is not kind.[(triple3)] The cat needs the dog.[(triple4)] The cat visits the tiger.[(triple6)] The dog does not need the cat.[(triple8)] The dog is young.[(triple7)] The dog visits the cat.[(triple9)] The dog visits the tiger.[(triple10)] The tiger eats the dog.[(triple11)] The tiger visits the dog.[(triple12)]
The cat does not need the tiger.
("cat" "needs" "tiger" "-")
triple5
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is not kind.
("cat" "is" "kind" "-")
triple3
The cat needs the dog.
("cat" "needs" "dog" "+")
triple4
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple6
The dog does not need the cat.
("dog" "needs" "cat" "-")
triple8
The dog is young.
("dog" "is" "young" "+")
triple7
The dog visits the cat.
("dog" "visits" "cat" "+")
triple9
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple10
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple11
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple12