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