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