The bald eagle sees the bear. The bear is kind. If something sees the bear and the bear eats the bald eagle then it is blue.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear is kind.
("bear" "is" "kind" "+")
If something sees the bear and the bear eats the bald eagle then it is blue.
((("something" "sees" "bear" "+") ("bear" "eats" "bald eagle" "+")) -> ("something" "is" "blue" "+"))
The bald eagle sees the bear.
True
1
proof
[(triple1)]
("bald eagle" "sees" "bear" "+")
triple1
The bear is not kind.
False
1
inv-proof
[(triple2)]
("bear" "is" "kind" "-")
triple2
The bear is not blue.
Unknown
inv-rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "blue" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle sees the bear.[(triple1)] The bear is kind.[(triple2)]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2