The bald eagle is cold. The bald eagle needs the squirrel. The bald eagle visits the squirrel. The bear is kind. The bear needs the bald eagle. The bear visits the bald eagle. The squirrel eats the bear. The squirrel is round. The squirrel needs the bald eagle. The squirrel needs the bear. The squirrel visits the bald eagle. The squirrel visits the bear. If something is cold and it visits the bear then it needs the bald eagle. If something visits the bear then it is young. If something needs the squirrel and the squirrel eats the bald eagle then it eats the bald eagle. If something eats the squirrel then the squirrel visits the bald eagle. If the bear is young and the bear visits the squirrel then the squirrel visits the bear. If something visits the bear then the bear needs the squirrel.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If something is cold and it visits the bear then it needs the bald eagle.
((("something" "is" "cold" "+") ("something" "visits" "bear" "+")) -> ("something" "needs" "bald eagle" "+"))
If something visits the bear then it is young.
((("something" "visits" "bear" "+")) -> ("something" "is" "young" "+"))
If something needs the squirrel and the squirrel eats the bald eagle then it eats the bald eagle.
((("something" "needs" "squirrel" "+") ("squirrel" "eats" "bald eagle" "+")) -> ("something" "eats" "bald eagle" "+"))
If something eats the squirrel then the squirrel visits the bald eagle.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "visits" "bald eagle" "+"))
If the bear is young and the bear visits the squirrel then the squirrel visits the bear.
((("bear" "is" "young" "+") ("bear" "visits" "squirrel" "+")) -> ("squirrel" "visits" "bear" "+"))
If something visits the bear then the bear needs the squirrel.
((("something" "visits" "bear" "+")) -> ("bear" "needs" "squirrel" "+"))
The squirrel needs the bald eagle.
True
1
proof
[(triple9)]
("squirrel" "needs" "bald eagle" "+")
triple9
The squirrel does not need the bald eagle.
False
1
inv-proof
[(triple9)]
("squirrel" "needs" "bald eagle" "-")
triple9
The bear needs the squirrel.
True
2
proof
[(((triple12) -> rule6))]
("bear" "needs" "squirrel" "+")
((triple12) -> (rule6 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The bear does not need the squirrel.
False
2
inv-proof
[(((triple12) -> rule6))]
("bear" "needs" "squirrel" "-")
((triple12) -> (rule6 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The squirrel eats the bald eagle.
Unknown
rconc
[@1: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "eats" "bald eagle" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle needs the squirrel.[(triple2)] The bald eagle visits the squirrel.[(triple3)] The bear is kind.[(triple4)] The bear needs the bald eagle.[(triple5)] The bear visits the bald eagle.[(triple6)] The squirrel eats the bear.[(triple7)] The squirrel is round.[(triple8)] The squirrel needs the bald eagle.[(triple9)] The squirrel needs the bear.[(triple10)] The squirrel visits the bald eagle.[(triple11)] The squirrel visits the bear.[(triple12)] @1: The bear needs the squirrel.[(((triple12) -> rule6))] The squirrel is young.[(((triple12) -> rule2))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple2
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple5
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple6
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple7
The squirrel is round.
("squirrel" "is" "round" "+")
triple8
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple9
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple10
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple11
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple12
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
((triple12) -> (rule6 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple12) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1