The bald eagle is young. The bear eats the cow. The cow is young. The dog needs the bald eagle. If the bald eagle needs the dog and the bald eagle eats the dog then the dog sees the bald eagle. If something sees the cow and the cow sees the dog then it needs the dog. If something sees the dog and it sees the cow then the cow needs the bald eagle. If something needs the bald eagle then the bald eagle needs the bear. If something is young then it sees the bear. If something sees the bear and it is green then it eats the cow. If something is young then it eats the cow. If something sees the bear and it needs the bear then the bear is young.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The cow is young.
("cow" "is" "young" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
If the bald eagle needs the dog and the bald eagle eats the dog then the dog sees the bald eagle.
((("bald eagle" "needs" "dog" "+") ("bald eagle" "eats" "dog" "+")) -> ("dog" "sees" "bald eagle" "+"))
If something sees the cow and the cow sees the dog then it needs the dog.
((("something" "sees" "cow" "+") ("cow" "sees" "dog" "+")) -> ("something" "needs" "dog" "+"))
If something sees the dog and it sees the cow then the cow needs the bald eagle.
((("something" "sees" "dog" "+") ("something" "sees" "cow" "+")) -> ("cow" "needs" "bald eagle" "+"))
If something needs the bald eagle then the bald eagle needs the bear.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "bear" "+"))
If something is young then it sees the bear.
((("something" "is" "young" "+")) -> ("something" "sees" "bear" "+"))
If something sees the bear and it is green then it eats the cow.
((("something" "sees" "bear" "+") ("something" "is" "green" "+")) -> ("something" "eats" "cow" "+"))
If something is young then it eats the cow.
((("something" "is" "young" "+")) -> ("something" "eats" "cow" "+"))
If something sees the bear and it needs the bear then the bear is young.
((("something" "sees" "bear" "+") ("something" "needs" "bear" "+")) -> ("bear" "is" "young" "+"))
The cow is young.
True
1
proof
[(triple3)]
("cow" "is" "young" "+")
triple3
The bald eagle is not young.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "young" "-")
triple1
The bald eagle eats the cow.
True
2
proof
[(((triple1) -> rule7))]
("bald eagle" "eats" "cow" "+")
((triple1) -> (rule7 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The cow does not eat the cow.
False
2
inv-proof
[(((triple3) -> rule7))]
("cow" "eats" "cow" "-")
((triple3) -> (rule7 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The dog does not see the bear.
Unknown
inv-rconc
[@1: The dog sees the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "sees" "bear" "-")
The cow needs the dog.
Unknown
rconc
[@1: The cow needs the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "needs" "dog" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
@0: The bald eagle is young.[(triple1)] The bear eats the cow.[(triple2 OR ((((((triple1) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule7))] The cow is young.[(triple3)] The dog needs the bald eagle.[(triple4)] @1: The bald eagle eats the cow.[(((triple1) -> rule7))] The bald eagle needs the bear.[(((triple4) -> rule4))] The bald eagle sees the bear.[(((triple1) -> rule5))] The cow eats the cow.[(((triple3) -> rule7))] The cow sees the bear.[(((triple3) -> rule5))] @2: The bear is young.[(((((triple1) -> rule5) ((triple4) -> rule4)) -> rule8))] @3: The bear sees the bear.[(((((((triple1) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule5))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bear eats the cow.
("bear" "eats" "cow" "+")
triple2
((((((triple1) -> (rule5 % int4)) ((triple4) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int4
The cow is young.
("cow" "is" "young" "+")
triple3
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple4
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
((triple1) -> (rule7 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
((triple4) -> (rule4 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((triple1) -> (rule5 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple3) -> (rule7 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow sees the bear.
("cow" "sees" "bear" "+")
((triple3) -> (rule5 % int1))
The cow sees the bear.
("cow" "sees" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
((((triple1) -> (rule5 % int3)) ((triple4) -> (rule4 % int2))) -> (rule8 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int3
The bear sees the bear.
("bear" "sees" "bear" "+")
((((((triple1) -> (rule5 % int4)) ((triple4) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int4