The bald eagle is young. The bear is young. The lion needs the bear. The rabbit is big. If someone is green then they see the lion. If someone sees the rabbit then the rabbit needs the lion. If someone is cold and they chase the rabbit then they need the bear. If someone chases the rabbit and they need the bear then the rabbit chases the bear. If someone chases the bald eagle and the bald eagle sees the lion then the lion sees the bear. If someone needs the rabbit and they are cold then the rabbit is red.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear is young.
("bear" "is" "young" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
If someone is green then they see the lion.
((("someone" "is" "green" "+")) -> ("someone" "sees" "lion" "+"))
If someone sees the rabbit then the rabbit needs the lion.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "needs" "lion" "+"))
If someone is cold and they chase the rabbit then they need the bear.
((("someone" "is" "cold" "+") ("someone" "chases" "rabbit" "+")) -> ("someone" "needs" "bear" "+"))
If someone chases the rabbit and they need the bear then the rabbit chases the bear.
((("someone" "chases" "rabbit" "+") ("someone" "needs" "bear" "+")) -> ("rabbit" "chases" "bear" "+"))
If someone chases the bald eagle and the bald eagle sees the lion then the lion sees the bear.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "sees" "lion" "+")) -> ("lion" "sees" "bear" "+"))
If someone needs the rabbit and they are cold then the rabbit is red.
((("someone" "needs" "rabbit" "+") ("someone" "is" "cold" "+")) -> ("rabbit" "is" "red" "+"))
The lion needs the bear.
True
1
proof
[(triple3)]
("lion" "needs" "bear" "+")
triple3
The rabbit is not big.
False
1
inv-proof
[(triple4)]
("rabbit" "is" "big" "-")
triple4
The rabbit does not see the lion.
Unknown
inv-rconc
[@1: The rabbit sees the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "sees" "lion" "-")
The lion chases the rabbit.
Unknown
random
[@0: The lion chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "rabbit" "+")
@0: The bald eagle is young.[(triple1)] The bear is young.[(triple2)] The lion needs the bear.[(triple3)] The rabbit is big.[(triple4)]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The lion needs the bear.
("lion" "needs" "bear" "+")
triple3
The rabbit is big.
("rabbit" "is" "big" "+")
triple4