The bald eagle eats the bear. The bald eagle is kind. The bald eagle needs the bear. The bald eagle needs the squirrel. The bear eats the squirrel. The bear is green. The bear needs the squirrel. The squirrel eats the bear. The squirrel is young. The squirrel does not need the bald eagle. If the bear eats the squirrel then the squirrel is cold. If the squirrel likes the bear and the bear does not eat the squirrel then the bear eats the bald eagle. If someone is nice and they need the bear then the bear does not eat the bald eagle. If someone needs the squirrel and they are not cold then the squirrel is green. Green people are kind. If someone needs the bald eagle and they are green then they are nice.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is green.
("bear" "is" "green" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
If the bear eats the squirrel then the squirrel is cold.
((("bear" "eats" "squirrel" "+")) -> ("squirrel" "is" "cold" "+"))
If the squirrel likes the bear and the bear does not eat the squirrel then the bear eats the bald eagle.
((("squirrel" "likes" "bear" "+") ("bear" "eats" "squirrel" "~")) -> ("bear" "eats" "bald eagle" "+"))
If someone is nice and they need the bear then the bear does not eat the bald eagle.
((("someone" "is" "nice" "+") ("someone" "needs" "bear" "+")) -> ("bear" "eats" "bald eagle" "-"))
If someone needs the squirrel and they are not cold then the squirrel is green.
((("someone" "needs" "squirrel" "+") ("someone" "is" "cold" "~")) -> ("squirrel" "is" "green" "+"))
Green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone needs the bald eagle and they are green then they are nice.
((("someone" "needs" "bald eagle" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
The squirrel eats the bear.
True
1
proof
[(triple8)]
("squirrel" "eats" "bear" "+")
triple8
The bald eagle is not kind.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "kind" "-")
triple2
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The squirrel likes the bear.
Unknown
random
[@0: The squirrel likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bear" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The bear eats the squirrel.[(triple5)] The bear is green.[(triple6)] The bear needs the squirrel.[(triple7)] The squirrel does not need the bald eagle.[(triple10)] The squirrel eats the bear.[(triple8)] The squirrel is young.[(triple9)] @1: The bear is kind.[(((triple6) -> rule5))] The squirrel is cold.[(((triple5) -> rule1))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple4
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple5
The bear is green.
("bear" "is" "green" "+")
triple6
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple7
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
triple10
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple8
The squirrel is young.
("squirrel" "is" "young" "+")
triple9
The bear is kind.
("bear" "is" "kind" "+")
((triple6) -> (rule5 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple5) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1