The bear is not kind. The lion is young. The rabbit visits the lion. If someone sees the rabbit and they do not eat the lion then the lion is not big. If someone eats the bear and they visit the rabbit then the bear sees the rabbit.
The bear is not kind.
("bear" "is" "kind" "-")
The lion is young.
("lion" "is" "young" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If someone sees the rabbit and they do not eat the lion then the lion is not big.
((("someone" "sees" "rabbit" "+") ("someone" "eats" "lion" "~")) -> ("lion" "is" "big" "-"))
If someone eats the bear and they visit the rabbit then the bear sees the rabbit.
((("someone" "eats" "bear" "+") ("someone" "visits" "rabbit" "+")) -> ("bear" "sees" "rabbit" "+"))
The lion is young.
True
1
proof
[(triple2)]
("lion" "is" "young" "+")
triple2
The lion is not young.
False
1
inv-proof
[(triple2)]
("lion" "is" "young" "-")
triple2
The bear does not see the rabbit.
Unknown
inv-rconc
[@1: The bear sees the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "sees" "rabbit" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear is not kind.[(triple1)] The lion is young.[(triple2)] The rabbit visits the lion.[(triple3)]
The bear is not kind.
("bear" "is" "kind" "-")
triple1
The lion is young.
("lion" "is" "young" "+")
triple2
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple3