The bald eagle needs the bear. The bear chases the squirrel. The rabbit is green. The squirrel needs the bald eagle. If something is young then it visits the bald eagle. If the bear chases the squirrel then the bear is young.
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If something is young then it visits the bald eagle.
((("something" "is" "young" "+")) -> ("something" "visits" "bald eagle" "+"))
If the bear chases the squirrel then the bear is young.
((("bear" "chases" "squirrel" "+")) -> ("bear" "is" "young" "+"))
The squirrel needs the bald eagle.
True
1
proof
[(triple4)]
("squirrel" "needs" "bald eagle" "+")
triple4
The bear does not chase the squirrel.
False
1
inv-proof
[(triple2)]
("bear" "chases" "squirrel" "-")
triple2
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
@0: The bald eagle needs the bear.[(triple1)] The bear chases the squirrel.[(triple2)] The rabbit is green.[(triple3)] The squirrel needs the bald eagle.[(triple4)] @1: The bear is young.[(((triple2) -> rule2))] @2: The bear visits the bald eagle.[(((((triple2) -> rule2)) -> rule1))]
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The rabbit is green.
("rabbit" "is" "green" "+")
triple3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
((triple2) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2