The bald eagle sees the bear. The bear needs the bald eagle. If something needs the bear then the bear needs the bald eagle. If something eats the bear and it sees the bald eagle then the bear sees the bald eagle. If something needs the bald eagle then it is nice.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
If something needs the bear then the bear needs the bald eagle.
((("something" "needs" "bear" "+")) -> ("bear" "needs" "bald eagle" "+"))
If something eats the bear and it sees the bald eagle then the bear sees the bald eagle.
((("something" "eats" "bear" "+") ("something" "sees" "bald eagle" "+")) -> ("bear" "sees" "bald eagle" "+"))
If something needs the bald eagle then it is nice.
((("something" "needs" "bald eagle" "+")) -> ("something" "is" "nice" "+"))
The bald eagle sees the bear.
True
1
proof
[(triple1)]
("bald eagle" "sees" "bear" "+")
triple1
The bear does not need the bald eagle.
False
1
inv-proof
[(triple2)]
("bear" "needs" "bald eagle" "-")
triple2
The bear does not see the bald eagle.
Unknown
inv-rconc
[@1: The bear sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "sees" "bald eagle" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle sees the bear.[(triple1)] The bear needs the bald eagle.[(triple2)] @1: The bear is nice.[(((triple2) -> rule3))]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
((triple2) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1