The bald eagle is nice. The bald eagle is red. The bald eagle needs the bear. The bald eagle needs the mouse. The bear eats the bald eagle. The bear eats the cat. The bear eats the mouse. The bear is red. The bear is young. The bear likes the bald eagle. The bear likes the mouse. The bear needs the cat. The cat needs the bear. The cat needs the mouse. The mouse is kind. The mouse needs the cat. If someone needs the bear and the bear needs the bald eagle then they need the bald eagle.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
If someone needs the bear and the bear needs the bald eagle then they need the bald eagle.
((("someone" "needs" "bear" "+") ("bear" "needs" "bald eagle" "+")) -> ("someone" "needs" "bald eagle" "+"))
The bear is young.
True
1
proof
[(triple9)]
("bear" "is" "young" "+")
triple9
The cat does not need the bear.
False
1
inv-proof
[(triple13)]
("cat" "needs" "bear" "-")
triple13
The cat does not need the bald eagle.
Unknown
inv-rconc
[@1: The cat needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "needs" "bald eagle" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear eats the cat.[(triple6)] The bear eats the mouse.[(triple7)] The bear is red.[(triple8)] The bear is young.[(triple9)] The bear likes the bald eagle.[(triple10)] The bear likes the mouse.[(triple11)] The bear needs the cat.[(triple12)] The cat needs the bear.[(triple13)] The cat needs the mouse.[(triple14)] The mouse is kind.[(triple15)] The mouse needs the cat.[(triple16)]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple4
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple5
The bear eats the cat.
("bear" "eats" "cat" "+")
triple6
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple7
The bear is red.
("bear" "is" "red" "+")
triple8
The bear is young.
("bear" "is" "young" "+")
triple9
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple10
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple11
The bear needs the cat.
("bear" "needs" "cat" "+")
triple12
The cat needs the bear.
("cat" "needs" "bear" "+")
triple13
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple14
The mouse is kind.
("mouse" "is" "kind" "+")
triple15
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple16