The bear is young. The dog does not like the bear. The rabbit is round. The tiger does not like the bear. If someone eats the tiger and they are not green then they are big. If someone likes the rabbit then the rabbit does not like the dog.
The bear is young.
("bear" "is" "young" "+")
The dog does not like the bear.
("dog" "likes" "bear" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
The tiger does not like the bear.
("tiger" "likes" "bear" "-")
If someone eats the tiger and they are not green then they are big.
((("someone" "eats" "tiger" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "big" "+"))
If someone likes the rabbit then the rabbit does not like the dog.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "likes" "dog" "-"))
The bear is young.
True
1
proof
[(triple1)]
("bear" "is" "young" "+")
triple1
The dog likes the bear.
False
1
inv-proof
[(triple2)]
("dog" "likes" "bear" "+")
triple2
The bear is not big.
Unknown
inv-rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "big" "-")
The tiger visits the rabbit.
Unknown
random
[@0: The tiger visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "rabbit" "+")
@0: The bear is young.[(triple1)] The dog does not like the bear.[(triple2)] The rabbit is round.[(triple3)] The tiger does not like the bear.[(triple4)]
The bear is young.
("bear" "is" "young" "+")
triple1
The dog does not like the bear.
("dog" "likes" "bear" "-")
triple2
The rabbit is round.
("rabbit" "is" "round" "+")
triple3
The tiger does not like the bear.
("tiger" "likes" "bear" "-")
triple4