The bald eagle chases the bear. The bald eagle eats the lion. The bald eagle needs the cow. The bear does not eat the bald eagle. The bear is round. The bear is young. The bear needs the bald eagle. The cow does not chase the bald eagle. The cow is not nice. The lion eats the bald eagle. If someone needs the bald eagle then the bald eagle is big. If the bear is nice and the bear needs the cow then the bear eats the lion. If someone chases the cow then they eat the cow. If someone is big then they chase the cow. If someone needs the lion and they eat the bald eagle then they are blue. If someone eats the bear and they do not chase the cow then the cow is young.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bear does not eat the bald eagle.
("bear" "eats" "bald eagle" "-")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The cow does not chase the bald eagle.
("cow" "chases" "bald eagle" "-")
The cow is not nice.
("cow" "is" "nice" "-")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
If someone needs the bald eagle then the bald eagle is big.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
If the bear is nice and the bear needs the cow then the bear eats the lion.
((("bear" "is" "nice" "+") ("bear" "needs" "cow" "+")) -> ("bear" "eats" "lion" "+"))
If someone chases the cow then they eat the cow.
((("someone" "chases" "cow" "+")) -> ("someone" "eats" "cow" "+"))
If someone is big then they chase the cow.
((("someone" "is" "big" "+")) -> ("someone" "chases" "cow" "+"))
If someone needs the lion and they eat the bald eagle then they are blue.
((("someone" "needs" "lion" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "blue" "+"))
If someone eats the bear and they do not chase the cow then the cow is young.
((("someone" "eats" "bear" "+") ("someone" "chases" "cow" "~")) -> ("cow" "is" "young" "+"))
The cow does not chase the bald eagle.
True
1
proof
[(triple8)]
("cow" "chases" "bald eagle" "-")
triple8
The bear does not need the bald eagle.
False
1
inv-proof
[(triple7)]
("bear" "needs" "bald eagle" "-")
triple7
The bald eagle is big.
True
2
proof
[(((triple7) -> rule1))]
("bald eagle" "is" "big" "+")
((triple7) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is not big.
False
2
inv-proof
[(((triple7) -> rule1))]
("bald eagle" "is" "big" "-")
((triple7) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle chases the cow.
True
3
proof
[(((((triple7) -> rule1)) -> rule4))]
("bald eagle" "chases" "cow" "+")
((((triple7) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle does not chase the cow.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule4))]
("bald eagle" "chases" "cow" "-")
((((triple7) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle eats the cow.
True
4
proof
[(((((((triple7) -> rule1)) -> rule4)) -> rule3))]
("bald eagle" "eats" "cow" "+")
((((((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle does not eat the cow.
False
4
inv-proof
[(((((((triple7) -> rule1)) -> rule4)) -> rule3))]
("bald eagle" "eats" "cow" "-")
((((((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bear does not eat the cow.
Unknown
inv-rconc
[@2: The bear eats the cow.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("bear" "eats" "cow" "-")
The bear eats the lion.
Unknown
rconc
[@1: The bear eats the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "eats" "lion" "+")
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "chases" "cow" "-")
The lion chases the cow.
Unknown
rconc
[@1: The lion chases the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "chases" "cow" "+")
The lion does not chase the bald eagle.
Unknown
inv-random
[@0: The lion chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bald eagle" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The lion is not young.
Unknown
inv-random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle needs the cow.[(triple3)] The bear does not eat the bald eagle.[(triple4)] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear needs the bald eagle.[(triple7)] The cow does not chase the bald eagle.[(triple8)] The cow is not nice.[(triple9)] The lion eats the bald eagle.[(triple10)] @1: The bald eagle is big.[(((triple7) -> rule1))] @2: The bald eagle chases the cow.[(((((triple7) -> rule1)) -> rule4))] @3: The bald eagle eats the cow.[(((((((triple7) -> rule1)) -> rule4)) -> rule3))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple3
The bear does not eat the bald eagle.
("bear" "eats" "bald eagle" "-")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple7
The cow does not chase the bald eagle.
("cow" "chases" "bald eagle" "-")
triple8
The cow is not nice.
("cow" "is" "nice" "-")
triple9
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple10
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple7) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
((((triple7) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
((((((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3