The bald eagle is kind. The bear is nice. The squirrel sees the bald eagle. If someone is nice then they see the bear. If someone needs the squirrel and the squirrel sees the bald eagle then the squirrel needs the bald eagle. If someone sees the bear and they need the bald eagle then they visit the bear. If the squirrel visits the bald eagle then the bald eagle visits the squirrel. If the squirrel needs the bald eagle then the bald eagle sees the bear. If the squirrel needs the bald eagle then the squirrel sees the bald eagle. If someone visits the bald eagle then the bald eagle is green. If someone is kind then they see the bear.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If someone is nice then they see the bear.
((("someone" "is" "nice" "+")) -> ("someone" "sees" "bear" "+"))
If someone needs the squirrel and the squirrel sees the bald eagle then the squirrel needs the bald eagle.
((("someone" "needs" "squirrel" "+") ("squirrel" "sees" "bald eagle" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If someone sees the bear and they need the bald eagle then they visit the bear.
((("someone" "sees" "bear" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "visits" "bear" "+"))
If the squirrel visits the bald eagle then the bald eagle visits the squirrel.
((("squirrel" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "squirrel" "+"))
If the squirrel needs the bald eagle then the bald eagle sees the bear.
((("squirrel" "needs" "bald eagle" "+")) -> ("bald eagle" "sees" "bear" "+"))
If the squirrel needs the bald eagle then the squirrel sees the bald eagle.
((("squirrel" "needs" "bald eagle" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
If someone visits the bald eagle then the bald eagle is green.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If someone is kind then they see the bear.
((("someone" "is" "kind" "+")) -> ("someone" "sees" "bear" "+"))
The squirrel sees the bald eagle.
True
1
proof
[(triple3)]
("squirrel" "sees" "bald eagle" "+")
triple3
The bald eagle is not kind.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "kind" "-")
triple1
The bald eagle sees the bear.
True
2
proof
[(((triple1) -> rule8))]
("bald eagle" "sees" "bear" "+")
((triple1) -> (rule8 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle does not see the bear.
False
2
inv-proof
[(((triple1) -> rule8))]
("bald eagle" "sees" "bear" "-")
((triple1) -> (rule8 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The squirrel does not need the bald eagle.
Unknown
inv-rconc
[@1: The squirrel needs the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "needs" "bald eagle" "-")
The bald eagle is green.
Unknown
rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "green" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
@0: The bald eagle is kind.[(triple1)] The bear is nice.[(triple2)] The squirrel sees the bald eagle.[(triple3)] @1: The bald eagle sees the bear.[(((triple1) -> rule8))] The bear sees the bear.[(((triple2) -> rule1))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((triple1) -> (rule8 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple2) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1