The bald eagle needs the rabbit. The lion is cold. The rabbit needs the lion. If the lion eats the rabbit then the lion does not need the rabbit. If something needs the lion and the lion is green then it eats the rabbit.
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The lion is cold.
("lion" "is" "cold" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
If the lion eats the rabbit then the lion does not need the rabbit.
((("lion" "eats" "rabbit" "+")) -> ("lion" "needs" "rabbit" "-"))
If something needs the lion and the lion is green then it eats the rabbit.
((("something" "needs" "lion" "+") ("lion" "is" "green" "+")) -> ("something" "eats" "rabbit" "+"))
The rabbit needs the lion.
True
1
proof
[(triple3)]
("rabbit" "needs" "lion" "+")
triple3
The lion is not cold.
False
1
inv-proof
[(triple2)]
("lion" "is" "cold" "-")
triple2
The rabbit does not eat the rabbit.
Unknown
inv-rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "eats" "rabbit" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
@0: The bald eagle needs the rabbit.[(triple1)] The lion is cold.[(triple2)] The rabbit needs the lion.[(triple3)]
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple3