The bear needs the lion. The dog likes the tiger. The lion visits the tiger. The tiger needs the lion. If someone is red then they are rough. If someone visits the tiger and the tiger needs the bear then the bear visits the dog. If someone visits the dog and the dog needs the bear then they visit the tiger. If someone visits the tiger and they like the dog then they need the dog. If someone is rough then they like the dog. If someone needs the tiger then the tiger is rough.
The bear needs the lion.
("bear" "needs" "lion" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If someone is red then they are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone visits the tiger and the tiger needs the bear then the bear visits the dog.
((("someone" "visits" "tiger" "+") ("tiger" "needs" "bear" "+")) -> ("bear" "visits" "dog" "+"))
If someone visits the dog and the dog needs the bear then they visit the tiger.
((("someone" "visits" "dog" "+") ("dog" "needs" "bear" "+")) -> ("someone" "visits" "tiger" "+"))
If someone visits the tiger and they like the dog then they need the dog.
((("someone" "visits" "tiger" "+") ("someone" "likes" "dog" "+")) -> ("someone" "needs" "dog" "+"))
If someone is rough then they like the dog.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "dog" "+"))
If someone needs the tiger then the tiger is rough.
((("someone" "needs" "tiger" "+")) -> ("tiger" "is" "rough" "+"))
The tiger needs the lion.
True
1
proof
[(triple4)]
("tiger" "needs" "lion" "+")
triple4
The bear does not need the lion.
False
1
inv-proof
[(triple1)]
("bear" "needs" "lion" "-")
triple1
The bear does not like the dog.
Unknown
inv-rconc
[@2: The bear likes the dog.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("bear" "likes" "dog" "-")
The dog is red.
Unknown
random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "+")
@0: The bear needs the lion.[(triple1)] The dog likes the tiger.[(triple2)] The lion visits the tiger.[(triple3)] The tiger needs the lion.[(triple4)]
The bear needs the lion.
("bear" "needs" "lion" "+")
triple1
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple2
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple3
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple4