The bald eagle is kind. The bear needs the bald eagle. The squirrel is kind. If the squirrel is young and the squirrel visits the bear then the bear sees the bald eagle. If something visits the bald eagle then the bald eagle needs the squirrel. If something is kind and it needs the bear then the bear visits the squirrel. All rough things are young. If something needs the bald eagle then it visits the bald eagle. If the bear sees the squirrel then the bear needs the squirrel.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
If the squirrel is young and the squirrel visits the bear then the bear sees the bald eagle.
((("squirrel" "is" "young" "+") ("squirrel" "visits" "bear" "+")) -> ("bear" "sees" "bald eagle" "+"))
If something visits the bald eagle then the bald eagle needs the squirrel.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "needs" "squirrel" "+"))
If something is kind and it needs the bear then the bear visits the squirrel.
((("something" "is" "kind" "+") ("something" "needs" "bear" "+")) -> ("bear" "visits" "squirrel" "+"))
All rough things are young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If something needs the bald eagle then it visits the bald eagle.
((("something" "needs" "bald eagle" "+")) -> ("something" "visits" "bald eagle" "+"))
If the bear sees the squirrel then the bear needs the squirrel.
((("bear" "sees" "squirrel" "+")) -> ("bear" "needs" "squirrel" "+"))
The bear needs the bald eagle.
True
1
proof
[(triple2)]
("bear" "needs" "bald eagle" "+")
triple2
The bear does not need the bald eagle.
False
1
inv-proof
[(triple2)]
("bear" "needs" "bald eagle" "-")
triple2
The bear visits the bald eagle.
True
2
proof
[(((triple2) -> rule5))]
("bear" "visits" "bald eagle" "+")
((triple2) -> (rule5 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear does not visit the bald eagle.
False
2
inv-proof
[(((triple2) -> rule5))]
("bear" "visits" "bald eagle" "-")
((triple2) -> (rule5 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bald eagle needs the squirrel.
True
3
proof
[(((((triple2) -> rule5)) -> rule2))]
("bald eagle" "needs" "squirrel" "+")
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The bald eagle does not need the squirrel.
False
3
inv-proof
[(((((triple2) -> rule5)) -> rule2))]
("bald eagle" "needs" "squirrel" "-")
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "young" "-")
The bald eagle is young.
Unknown
rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "young" "+")
The squirrel does not visit the bald eagle.
Unknown
inv-rconc
[@1: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "visits" "bald eagle" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
The squirrel does not visit the bear.
Unknown
inv-random
[@0: The squirrel visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bear" "-")
The bald eagle sees the squirrel.
Unknown
random
[@0: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "squirrel" "+")
@0: The bald eagle is kind.[(triple1)] The bear needs the bald eagle.[(triple2)] The squirrel is kind.[(triple3)] @1: The bear visits the bald eagle.[(((triple2) -> rule5))] @2: The bald eagle needs the squirrel.[(((((triple2) -> rule5)) -> rule2))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple2
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple3
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
((triple2) -> (rule5 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2