The bear eats the lion. The lion is nice. If someone likes the bear and they need the lion then the bear likes the lion. If someone needs the bear then they eat the lion. If the lion needs the bear then the lion likes the bear.
The bear eats the lion.
("bear" "eats" "lion" "+")
The lion is nice.
("lion" "is" "nice" "+")
If someone likes the bear and they need the lion then the bear likes the lion.
((("someone" "likes" "bear" "+") ("someone" "needs" "lion" "+")) -> ("bear" "likes" "lion" "+"))
If someone needs the bear then they eat the lion.
((("someone" "needs" "bear" "+")) -> ("someone" "eats" "lion" "+"))
If the lion needs the bear then the lion likes the bear.
((("lion" "needs" "bear" "+")) -> ("lion" "likes" "bear" "+"))
The lion is nice.
True
1
proof
[(triple2)]
("lion" "is" "nice" "+")
triple2
The lion is not nice.
False
1
inv-proof
[(triple2)]
("lion" "is" "nice" "-")
triple2
The lion does not like the bear.
Unknown
inv-rconc
[@1: The lion likes the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "likes" "bear" "-")
The lion needs the bear.
Unknown
random
[@0: The lion needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "bear" "+")
@0: The bear eats the lion.[(triple1)] The lion is nice.[(triple2)]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The lion is nice.
("lion" "is" "nice" "+")
triple2