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