The dog visits the tiger. The tiger is not young. If something visits the dog then the dog eats the tiger. If something is round and it does not visit the dog then it eats the dog. If the dog likes the tiger then the dog is not kind. If something eats the dog and the dog is kind then it does not like the tiger. If something eats the dog and it does not visit the dog then the dog does not like the tiger. If the tiger visits the dog and the tiger does not like the dog then the tiger is not round.
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The tiger is not young.
("tiger" "is" "young" "-")
If something visits the dog then the dog eats the tiger.
((("something" "visits" "dog" "+")) -> ("dog" "eats" "tiger" "+"))
If something is round and it does not visit the dog then it eats the dog.
((("something" "is" "round" "+") ("something" "visits" "dog" "~")) -> ("something" "eats" "dog" "+"))
If the dog likes the tiger then the dog is not kind.
((("dog" "likes" "tiger" "+")) -> ("dog" "is" "kind" "-"))
If something eats the dog and the dog is kind then it does not like the tiger.
((("something" "eats" "dog" "+") ("dog" "is" "kind" "+")) -> ("something" "likes" "tiger" "-"))
If something eats the dog and it does not visit the dog then the dog does not like the tiger.
((("something" "eats" "dog" "+") ("something" "visits" "dog" "~")) -> ("dog" "likes" "tiger" "-"))
If the tiger visits the dog and the tiger does not like the dog then the tiger is not round.
((("tiger" "visits" "dog" "+") ("tiger" "likes" "dog" "~")) -> ("tiger" "is" "round" "-"))
The dog visits the tiger.
True
1
proof
[(triple1)]
("dog" "visits" "tiger" "+")
triple1
The dog does not visit the tiger.
False
1
inv-proof
[(triple1)]
("dog" "visits" "tiger" "-")
triple1
The tiger does not eat the dog.
Unknown
inv-rconc
[@1: The tiger eats the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "eats" "dog" "-")
The tiger likes the dog.
Unknown
random
[@0: The tiger likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "dog" "+")
@0: The dog visits the tiger.[(triple1)] The tiger is not young.[(triple2)]
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple1
The tiger is not young.
("tiger" "is" "young" "-")
triple2