The bald eagle eats the bear. The bald eagle eats the mouse. The bald eagle is kind. The bear eats the mouse. The bear is big. The bear is kind. The bear does not need the rabbit. The mouse is rough. The mouse needs the bald eagle. The rabbit eats the bear. The rabbit eats the mouse. The rabbit is kind. The rabbit is rough. The rabbit likes the mouse. The rabbit needs the bear. If something is kind and it does not eat the bear then it is green. If something needs the mouse and it does not like the rabbit then it is green. If the mouse eats the rabbit and the mouse likes the bear then the bear likes the bald eagle. If the bear does not need the mouse then the bear is kind. If something likes the bald eagle then it likes the bear. If something needs the mouse and it does not like the rabbit then it needs the bald eagle. If something needs the mouse and it needs the bear then it does not need the rabbit. If the rabbit needs the mouse then the mouse needs the rabbit.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear does not need the rabbit.
("bear" "needs" "rabbit" "-")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
If something is kind and it does not eat the bear then it is green.
((("something" "is" "kind" "+") ("something" "eats" "bear" "~")) -> ("something" "is" "green" "+"))
If something needs the mouse and it does not like the rabbit then it is green.
((("something" "needs" "mouse" "+") ("something" "likes" "rabbit" "~")) -> ("something" "is" "green" "+"))
If the mouse eats the rabbit and the mouse likes the bear then the bear likes the bald eagle.
((("mouse" "eats" "rabbit" "+") ("mouse" "likes" "bear" "+")) -> ("bear" "likes" "bald eagle" "+"))
If the bear does not need the mouse then the bear is kind.
((("bear" "needs" "mouse" "~")) -> ("bear" "is" "kind" "+"))
If something likes the bald eagle then it likes the bear.
((("something" "likes" "bald eagle" "+")) -> ("something" "likes" "bear" "+"))
If something needs the mouse and it does not like the rabbit then it needs the bald eagle.
((("something" "needs" "mouse" "+") ("something" "likes" "rabbit" "~")) -> ("something" "needs" "bald eagle" "+"))
If something needs the mouse and it needs the bear then it does not need the rabbit.
((("something" "needs" "mouse" "+") ("something" "needs" "bear" "+")) -> ("something" "needs" "rabbit" "-"))
If the rabbit needs the mouse then the mouse needs the rabbit.
((("rabbit" "needs" "mouse" "+")) -> ("mouse" "needs" "rabbit" "+"))
The rabbit eats the bear.
True
1
proof
[(triple10)]
("rabbit" "eats" "bear" "+")
triple10
The mouse is not rough.
False
1
inv-proof
[(triple8)]
("mouse" "is" "rough" "-")
triple8
The bear does not like the bald eagle.
Unknown
inv-rconc
[@1: The bear likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "likes" "bald eagle" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is kind.[(triple3)] The bear does not need the rabbit.[(triple7)] The bear eats the mouse.[(triple4)] The bear is big.[(triple5)] The bear is kind.[(triple6)] The mouse is rough.[(triple8)] The mouse needs the bald eagle.[(triple9)] The rabbit eats the bear.[(triple10)] The rabbit eats the mouse.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is rough.[(triple13)] The rabbit likes the mouse.[(triple14)] The rabbit needs the bear.[(triple15)]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bear does not need the rabbit.
("bear" "needs" "rabbit" "-")
triple7
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
triple5
The bear is kind.
("bear" "is" "kind" "+")
triple6
The mouse is rough.
("mouse" "is" "rough" "+")
triple8
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple9
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple10
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple11
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple12
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple13
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple14
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple15