The cow needs the dog. The dog needs the cow. The tiger does not need the dog. If something eats the cow then it needs the dog. If something is rough then it needs the cow. If the tiger is green and the tiger does not eat the cow then the tiger sees the dog. If the dog is not rough then the dog does not eat the tiger. If something is rough then it sees the tiger. If something eats the dog then it needs the tiger.
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The tiger does not need the dog.
("tiger" "needs" "dog" "-")
If something eats the cow then it needs the dog.
((("something" "eats" "cow" "+")) -> ("something" "needs" "dog" "+"))
If something is rough then it needs the cow.
((("something" "is" "rough" "+")) -> ("something" "needs" "cow" "+"))
If the tiger is green and the tiger does not eat the cow then the tiger sees the dog.
((("tiger" "is" "green" "+") ("tiger" "eats" "cow" "~")) -> ("tiger" "sees" "dog" "+"))
If the dog is not rough then the dog does not eat the tiger.
((("dog" "is" "rough" "~")) -> ("dog" "eats" "tiger" "-"))
If something is rough then it sees the tiger.
((("something" "is" "rough" "+")) -> ("something" "sees" "tiger" "+"))
If something eats the dog then it needs the tiger.
((("something" "eats" "dog" "+")) -> ("something" "needs" "tiger" "+"))
The tiger does not need the dog.
True
1
proof
[(triple3)]
("tiger" "needs" "dog" "-")
triple3
The dog does not need the cow.
False
1
inv-proof
[(triple2)]
("dog" "needs" "cow" "-")
triple2
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "dog" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
@0: The cow needs the dog.[(triple1)] The dog needs the cow.[(triple2)] The tiger does not need the dog.[(triple3)]
The cow needs the dog.
("cow" "needs" "dog" "+")
triple1
The dog needs the cow.
("dog" "needs" "cow" "+")
triple2
The tiger does not need the dog.
("tiger" "needs" "dog" "-")
triple3