The bald eagle needs the bear. The bear visits the dog. The dog visits the bald eagle. If someone is round and they eat the bear then the bear eats the dog. If someone visits the bald eagle then they are young. Young people are green.
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
If someone is round and they eat the bear then the bear eats the dog.
((("someone" "is" "round" "+") ("someone" "eats" "bear" "+")) -> ("bear" "eats" "dog" "+"))
If someone visits the bald eagle then they are young.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "is" "young" "+"))
Young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
The bald eagle needs the bear.
True
1
proof
[(triple1)]
("bald eagle" "needs" "bear" "+")
triple1
The bald eagle does not need the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "bear" "-")
triple1
The dog is young.
True
2
proof
[(((triple3) -> rule2))]
("dog" "is" "young" "+")
((triple3) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is not young.
False
2
inv-proof
[(((triple3) -> rule2))]
("dog" "is" "young" "-")
((triple3) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is green.
True
3
proof
[(((((triple3) -> rule2)) -> rule3))]
("dog" "is" "green" "+")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is not green.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule3))]
("dog" "is" "green" "-")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
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 bald eagle is green.
Unknown
rconc
[@2: The bald eagle is green.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("bald eagle" "is" "green" "+")
The bear is not green.
Unknown
inv-rconc
[@2: The bear is green.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("bear" "is" "green" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
@0: The bald eagle needs the bear.[(triple1)] The bear visits the dog.[(triple2)] The dog visits the bald eagle.[(triple3)] @1: The dog is young.[(((triple3) -> rule2))] @2: The dog is green.[(((((triple3) -> rule2)) -> rule3))]
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple1
The bear visits the dog.
("bear" "visits" "dog" "+")
triple2
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple3
The dog is young.
("dog" "is" "young" "+")
((triple3) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is green.
("dog" "is" "green" "+")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2