The bald eagle does not like the rabbit. The lion is red. The mouse likes the lion. The rabbit eats the bald eagle. If the mouse eats the bald eagle and the bald eagle likes the rabbit then the rabbit eats the bald eagle. If someone likes the rabbit and they do not eat the rabbit then the rabbit eats the bald eagle. If the rabbit is big and the rabbit is young then the rabbit needs the lion. If the bald eagle needs the lion and the bald eagle does not need the rabbit then the lion is blue. If someone is big and blue then they need the mouse. If someone needs the bald eagle and they do not like the lion then the bald eagle is not red. If someone needs the rabbit and they do not like the bald eagle then the rabbit is big. If someone likes the mouse and they do not like the bald eagle then the bald eagle eats the lion.
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
The lion is red.
("lion" "is" "red" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
If the mouse eats the bald eagle and the bald eagle likes the rabbit then the rabbit eats the bald eagle.
((("mouse" "eats" "bald eagle" "+") ("bald eagle" "likes" "rabbit" "+")) -> ("rabbit" "eats" "bald eagle" "+"))
If someone likes the rabbit and they do not eat the rabbit then the rabbit eats the bald eagle.
((("someone" "likes" "rabbit" "+") ("someone" "eats" "rabbit" "~")) -> ("rabbit" "eats" "bald eagle" "+"))
If the rabbit is big and the rabbit is young then the rabbit needs the lion.
((("rabbit" "is" "big" "+") ("rabbit" "is" "young" "+")) -> ("rabbit" "needs" "lion" "+"))
If the bald eagle needs the lion and the bald eagle does not need the rabbit then the lion is blue.
((("bald eagle" "needs" "lion" "+") ("bald eagle" "needs" "rabbit" "~")) -> ("lion" "is" "blue" "+"))
If someone is big and blue then they need the mouse.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "needs" "mouse" "+"))
If someone needs the bald eagle and they do not like the lion then the bald eagle is not red.
((("someone" "needs" "bald eagle" "+") ("someone" "likes" "lion" "~")) -> ("bald eagle" "is" "red" "-"))
If someone needs the rabbit and they do not like the bald eagle then the rabbit is big.
((("someone" "needs" "rabbit" "+") ("someone" "likes" "bald eagle" "~")) -> ("rabbit" "is" "big" "+"))
If someone likes the mouse and they do not like the bald eagle then the bald eagle eats the lion.
((("someone" "likes" "mouse" "+") ("someone" "likes" "bald eagle" "~")) -> ("bald eagle" "eats" "lion" "+"))
The lion is red.
True
1
proof
[(triple2)]
("lion" "is" "red" "+")
triple2
The mouse does not like the lion.
False
1
inv-proof
[(triple3)]
("mouse" "likes" "lion" "-")
triple3
The lion does not need the mouse.
Unknown
inv-rconc
[@1: The lion needs the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "needs" "mouse" "-")
The lion needs the rabbit.
Unknown
random
[@0: The lion needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "rabbit" "+")
@0: The bald eagle does not like the rabbit.[(triple1)] The lion is red.[(triple2)] The mouse likes the lion.[(triple3)] The rabbit eats the bald eagle.[(triple4)]
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
triple1
The lion is red.
("lion" "is" "red" "+")
triple2
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple3
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple4