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