The bald eagle sees the bear. The bear eats the bald eagle. If someone sees the bald eagle then they eat the bald eagle. If someone eats the bald eagle and they eat the bear then they see the bear.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
If someone sees the bald eagle then they eat the bald eagle.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the bald eagle and they eat the bear then they see the bear.
((("someone" "eats" "bald eagle" "+") ("someone" "eats" "bear" "+")) -> ("someone" "sees" "bear" "+"))
The bald eagle sees the bear.
True
1
proof
[(triple1)]
("bald eagle" "sees" "bear" "+")
triple1
The bald eagle does not see the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "sees" "bear" "-")
triple1
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "sees" "bear" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle sees the bear.[(triple1)] The bear eats the bald eagle.[(triple2)]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple2