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