The bald eagle chases the mouse. The bald eagle needs the bear. The bald eagle needs the squirrel. The bear is blue. The bear needs the bald eagle. The mouse eats the squirrel. The mouse is rough. The mouse needs the bald eagle. The squirrel chases the mouse. The squirrel eats the bald eagle. The squirrel is rough. The squirrel needs the bear. If someone needs the bear and the bear needs the bald eagle then the bald eagle chases the squirrel. If someone needs the bear and the bear is rough then the bear chases the mouse. If someone chases the bear and they are blue then they are kind. If someone is rough and they chase the bear then the bear needs the mouse. If someone is big and kind then they eat the bear. If someone eats the squirrel and the squirrel chases the bear then they chase the mouse.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If someone needs the bear and the bear needs the bald eagle then the bald eagle chases the squirrel.
((("someone" "needs" "bear" "+") ("bear" "needs" "bald eagle" "+")) -> ("bald eagle" "chases" "squirrel" "+"))
If someone needs the bear and the bear is rough then the bear chases the mouse.
((("someone" "needs" "bear" "+") ("bear" "is" "rough" "+")) -> ("bear" "chases" "mouse" "+"))
If someone chases the bear and they are blue then they are kind.
((("someone" "chases" "bear" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and they chase the bear then the bear needs the mouse.
((("someone" "is" "rough" "+") ("someone" "chases" "bear" "+")) -> ("bear" "needs" "mouse" "+"))
If someone is big and kind then they eat the bear.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "eats" "bear" "+"))
If someone eats the squirrel and the squirrel chases the bear then they chase the mouse.
((("someone" "eats" "squirrel" "+") ("squirrel" "chases" "bear" "+")) -> ("someone" "chases" "mouse" "+"))
The bald eagle needs the bear.
True
1
proof
[(triple2)]
("bald eagle" "needs" "bear" "+")
triple2
The squirrel does not need the bear.
False
1
inv-proof
[(triple12)]
("squirrel" "needs" "bear" "-")
triple12
The squirrel is not kind.
Unknown
inv-rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "kind" "-")
The squirrel chases the bear.
Unknown
random
[@0: The squirrel chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bear" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle needs the bear.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The bear is blue.[(triple4)] The bear needs the bald eagle.[(triple5)] The mouse eats the squirrel.[(triple6)] The mouse is rough.[(triple7)] The mouse needs the bald eagle.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel eats the bald eagle.[(triple10)] The squirrel is rough.[(triple11)] The squirrel needs the bear.[(triple12)] @1: The bald eagle chases the squirrel.[(((triple12 triple5) -> rule1) OR ((triple2 triple5) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple3
The bear is blue.
("bear" "is" "blue" "+")
triple4
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple5
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple6
The mouse is rough.
("mouse" "is" "rough" "+")
triple7
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple8
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple9
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple11
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple12
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
((triple12 triple5) -> (rule1 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
((triple2 triple5) -> (rule1 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1