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