The bald eagle is green. The bald eagle is not nice. The bald eagle is round. The bald eagle needs the cow. The bear chases the bald eagle. The cow chases the dog. The dog is green. The dog is nice. The dog needs the cow. The dog does not see the cow. If something needs the cow then the cow needs the bald eagle. If something needs the bald eagle then the bald eagle sees the cow. If the bear is round and the dog does not need the bear then the bear is young.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog does not see the cow.
("dog" "sees" "cow" "-")
If something needs the cow then the cow needs the bald eagle.
((("something" "needs" "cow" "+")) -> ("cow" "needs" "bald eagle" "+"))
If something needs the bald eagle then the bald eagle sees the cow.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "sees" "cow" "+"))
If the bear is round and the dog does not need the bear then the bear is young.
((("bear" "is" "round" "+") ("dog" "needs" "bear" "~")) -> ("bear" "is" "young" "+"))
The bald eagle is round.
True
1
proof
[(triple3)]
("bald eagle" "is" "round" "+")
triple3
The bald eagle does not need the cow.
False
1
inv-proof
[(triple4)]
("bald eagle" "needs" "cow" "-")
triple4
The cow needs the bald eagle.
True
2
proof
[(((triple4) -> rule1) OR ((triple9) -> rule1))]
("cow" "needs" "bald eagle" "+")
((triple4) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
((triple9) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cow does not need the bald eagle.
False
2
inv-proof
[(((triple4) -> rule1) OR ((triple9) -> rule1))]
("cow" "needs" "bald eagle" "-")
((triple4) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
((triple9) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The bald eagle sees the cow.
True
3
proof
[(((((triple4) -> rule1)) -> rule2) OR ((((triple9) -> rule1)) -> rule2))]
("bald eagle" "sees" "cow" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The bald eagle does not see the cow.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule2) OR ((((triple9) -> rule1)) -> rule2))]
("bald eagle" "sees" "cow" "-")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The bear is not young.
Unknown
inv-rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "young" "-")
The bald eagle chases the cow.
Unknown
random
[@0: The bald eagle chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cow" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bear chases the dog.
Unknown
random
[@0: The bear chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "dog" "+")
The bald eagle does not need the dog.
Unknown
inv-random
[@0: The bald eagle needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "dog" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is not nice.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle needs the cow.[(triple4)] The bear chases the bald eagle.[(triple5)] The cow chases the dog.[(triple6)] The dog does not see the cow.[(triple10)] The dog is green.[(triple7)] The dog is nice.[(triple8)] The dog needs the cow.[(triple9)] @1: The cow needs the bald eagle.[(((triple4) -> rule1) OR ((triple9) -> rule1))] @2: The bald eagle sees the cow.[(((((triple4) -> rule1)) -> rule2) OR ((((triple9) -> rule1)) -> rule2))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple4
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple5
The cow chases the dog.
("cow" "chases" "dog" "+")
triple6
The dog does not see the cow.
("dog" "sees" "cow" "-")
triple10
The dog is green.
("dog" "is" "green" "+")
triple7
The dog is nice.
("dog" "is" "nice" "+")
triple8
The dog needs the cow.
("dog" "needs" "cow" "+")
triple9
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
((triple4) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
((triple9) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2