The bald eagle chases the dog. The bear is rough. The dog is not cold. The lion needs the bald eagle. If someone is green then they need the bald eagle. If someone is rough then they are young.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bear is rough.
("bear" "is" "rough" "+")
The dog is not cold.
("dog" "is" "cold" "-")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
If someone is green then they need the bald eagle.
((("someone" "is" "green" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
The lion needs the bald eagle.
True
1
proof
[(triple4)]
("lion" "needs" "bald eagle" "+")
triple4
The dog is cold.
False
1
inv-proof
[(triple3)]
("dog" "is" "cold" "+")
triple3
The bear is young.
True
2
proof
[(((triple2) -> rule2))]
("bear" "is" "young" "+")
((triple2) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is not young.
False
2
inv-proof
[(((triple2) -> rule2))]
("bear" "is" "young" "-")
((triple2) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "young" "-")
The dog needs the bald eagle.
Unknown
rconc
[@1: The dog needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "bald eagle" "+")
The dog does not see the lion.
Unknown
inv-random
[@0: The dog sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "lion" "-")
The lion needs the dog.
Unknown
random
[@0: The lion needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "dog" "+")
@0: The bald eagle chases the dog.[(triple1)] The bear is rough.[(triple2)] The dog is not cold.[(triple3)] The lion needs the bald eagle.[(triple4)] @1: The bear is young.[(((triple2) -> rule2))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The dog is not cold.
("dog" "is" "cold" "-")
triple3
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
((triple2) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1