The bald eagle chases the bear. The bald eagle is green. The bald eagle is nice. The bear chases the bald eagle. The bear eats the cow. The bear is green. The cow chases the bear. The cow does not eat the bear. The cow is nice. The cow is red. If someone chases the cow and they chase the bear then the cow does not chase the bear. If someone likes the bear and the bear is not green then they like the bald eagle. If someone is big then they do not eat the bear. If someone chases the bear then the bear is big. All green, nice people are kind. If someone eats the cow and they do not like the bald eagle then the cow eats the bear. If someone likes the cow and they chase the cow then the cow does not eat the bear. If someone is green and they do not eat the bear then the bear is red.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is green.
("bear" "is" "green" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow does not eat the bear.
("cow" "eats" "bear" "-")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
If someone chases the cow and they chase the bear then the cow does not chase the bear.
((("someone" "chases" "cow" "+") ("someone" "chases" "bear" "+")) -> ("cow" "chases" "bear" "-"))
If someone likes the bear and the bear is not green then they like the bald eagle.
((("someone" "likes" "bear" "+") ("bear" "is" "green" "~")) -> ("someone" "likes" "bald eagle" "+"))
If someone is big then they do not eat the bear.
((("someone" "is" "big" "+")) -> ("someone" "eats" "bear" "-"))
If someone chases the bear then the bear is big.
((("someone" "chases" "bear" "+")) -> ("bear" "is" "big" "+"))
All green, nice people are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone eats the cow and they do not like the bald eagle then the cow eats the bear.
((("someone" "eats" "cow" "+") ("someone" "likes" "bald eagle" "~")) -> ("cow" "eats" "bear" "+"))
If someone likes the cow and they chase the cow then the cow does not eat the bear.
((("someone" "likes" "cow" "+") ("someone" "chases" "cow" "+")) -> ("cow" "eats" "bear" "-"))
If someone is green and they do not eat the bear then the bear is red.
((("someone" "is" "green" "+") ("someone" "eats" "bear" "~")) -> ("bear" "is" "red" "+"))
The cow is nice.
True
1
proof
[(triple9)]
("cow" "is" "nice" "+")
triple9
The cow is not nice.
False
1
inv-proof
[(triple9)]
("cow" "is" "nice" "-")
triple9
The bear is big.
True
2
proof
[(((triple1) -> rule4) OR ((triple7) -> rule4))]
("bear" "is" "big" "+")
((triple1) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((triple7) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bald eagle is not kind.
False
3
inv-proof
[(((triple2 triple3) -> rule5))]
("bald eagle" "is" "kind" "-")
((triple2 triple3) -> (rule5 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bear does not eat the bear.
True
3
proof
[(((((triple1) -> rule4)) -> rule3) OR ((((triple7) -> rule4)) -> rule3))]
("bear" "eats" "bear" "-")
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int1
The bear is big.
("bear" "is" "big" "+")
int2
((((triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear eats the bear.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule3) OR ((((triple7) -> rule4)) -> rule3))]
("bear" "eats" "bear" "+")
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int1
The bear is big.
("bear" "is" "big" "+")
int2
((((triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is red.
True
5
proof
[(((triple6 ((((triple1) -> rule4)) -> rule3)) -> rule8) OR ((triple6 ((((triple7) -> rule4)) -> rule3)) -> rule8))]
("bear" "is" "red" "+")
((triple6 ((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((triple6 ((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int2
The bear is big.
("bear" "is" "big" "+")
int3
The bear is not red.
False
5
inv-proof
[(((triple6 ((((triple1) -> rule4)) -> rule3)) -> rule8) OR ((triple6 ((((triple7) -> rule4)) -> rule3)) -> rule8))]
("bear" "is" "red" "-")
((triple6 ((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((triple6 ((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int2
The bear is big.
("bear" "is" "big" "+")
int3
The cow is not kind.
Unknown
inv-rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "kind" "-")
The bear likes the bald eagle.
Unknown
rconc
[@1: The bear likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "bald eagle" "+")
The cow does not like the bald eagle.
Unknown
inv-rconc
[@1: The cow likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "likes" "bald eagle" "-")
The bald eagle likes the bald eagle.
Unknown
rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The bald eagle does not like the cow.
Unknown
inv-random
[@0: The bald eagle likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cow" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear eats the cow.[(triple5)] The bear is green.[(triple6)] The cow chases the bear.[(triple7)] The cow does not eat the bear.[(triple8)] The cow is nice.[(triple9)] The cow is red.[(triple10)] @1: The bald eagle is kind.[(((triple2 triple3) -> rule5))] The bear is big.[(((triple1) -> rule4) OR ((triple7) -> rule4))] @2: The bear does not eat the bear.[(((((triple1) -> rule4)) -> rule3) OR ((((triple7) -> rule4)) -> rule3))] @3: The bear is red.[(((triple6 ((((triple1) -> rule4)) -> rule3)) -> rule8) OR ((triple6 ((((triple7) -> rule4)) -> rule3)) -> rule8))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple4
The bear eats the cow.
("bear" "eats" "cow" "+")
triple5
The bear is green.
("bear" "is" "green" "+")
triple6
The cow chases the bear.
("cow" "chases" "bear" "+")
triple7
The cow does not eat the bear.
("cow" "eats" "bear" "-")
triple8
The cow is nice.
("cow" "is" "nice" "+")
triple9
The cow is red.
("cow" "is" "red" "+")
triple10
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple2 triple3) -> (rule5 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bear is big.
("bear" "is" "big" "+")
((triple1) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((triple7) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear does not eat the bear.
("bear" "eats" "bear" "-")
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int1
The bear is big.
("bear" "is" "big" "+")
int2
((((triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is red.
("bear" "is" "red" "+")
((triple6 ((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((triple6 ((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int2
The bear is big.
("bear" "is" "big" "+")
int3