The bald eagle eats the bear. The bald eagle is not big. The bald eagle is blue. The bald eagle is not green. The bald eagle is not nice. The bald eagle is not rough. The bald eagle likes the bear. The bald eagle needs the bear. The bear eats the bald eagle. The bear is not big. The bear is not blue. The bear is green. The bear is nice. The bear is rough. The bear likes the bald eagle. The bear needs the bald eagle. If someone needs the bald eagle then they eat the bald eagle. If someone eats the bear then they eat the bald eagle. If someone likes the bear and the bear is not rough then the bear likes the bald eagle. If someone eats the bear then the bear likes the bald eagle. If someone likes the bald eagle and the bald eagle eats the bear then the bear is not big. If someone needs the bear and they do not eat the bear then they like the bald eagle. If someone likes the bald eagle then the bald eagle needs the bear. If the bald eagle eats the bear and the bear is rough then the bald eagle likes the bear.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is not big.
("bear" "is" "big" "-")
The bear is not blue.
("bear" "is" "blue" "-")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
If someone needs the bald eagle then they eat the bald eagle.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the bear then they eat the bald eagle.
((("someone" "eats" "bear" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone likes the bear and the bear is not rough then the bear likes the bald eagle.
((("someone" "likes" "bear" "+") ("bear" "is" "rough" "~")) -> ("bear" "likes" "bald eagle" "+"))
If someone eats the bear then the bear likes the bald eagle.
((("someone" "eats" "bear" "+")) -> ("bear" "likes" "bald eagle" "+"))
If someone likes the bald eagle and the bald eagle eats the bear then the bear is not big.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "eats" "bear" "+")) -> ("bear" "is" "big" "-"))
If someone needs the bear and they do not eat the bear then they like the bald eagle.
((("someone" "needs" "bear" "+") ("someone" "eats" "bear" "~")) -> ("someone" "likes" "bald eagle" "+"))
If someone likes the bald eagle then the bald eagle needs the bear.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "needs" "bear" "+"))
If the bald eagle eats the bear and the bear is rough then the bald eagle likes the bear.
((("bald eagle" "eats" "bear" "+") ("bear" "is" "rough" "+")) -> ("bald eagle" "likes" "bear" "+"))
The bear is nice.
True
1
proof
[(triple13)]
("bear" "is" "nice" "+")
triple13
The bald eagle is big.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "big" "+")
triple2
The bald eagle eats the bald eagle.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "eats" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle does not eat the bald eagle.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "eats" "bald eagle" "-")
((triple1) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is blue.[(triple3)] The bald eagle is not big.[(triple2)] The bald eagle is not green.[(triple4)] The bald eagle is not nice.[(triple5)] The bald eagle is not rough.[(triple6)] The bald eagle likes the bear.[(triple7 OR ((triple1 triple14) -> rule8))] The bald eagle needs the bear.[(triple8 OR ((triple15) -> rule7) OR ((((triple1) -> rule4)) -> rule7))] The bear eats the bald eagle.[(triple9 OR ((triple16) -> rule1))] The bear is green.[(triple12)] The bear is nice.[(triple13)] The bear is not big.[(triple10 OR ((triple15 triple1) -> rule5) OR ((((triple1) -> rule4) triple1) -> rule5))] The bear is not blue.[(triple11)] The bear is rough.[(triple14)] The bear likes the bald eagle.[(triple15 OR ((triple1) -> rule4))] The bear needs the bald eagle.[(triple16)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule2))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple2
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple4
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple5
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple6
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple7
((triple1 triple14) -> (rule8 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple8
((triple15) -> (rule7 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple9
((triple16) -> (rule1 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear is green.
("bear" "is" "green" "+")
triple12
The bear is nice.
("bear" "is" "nice" "+")
triple13
The bear is not big.
("bear" "is" "big" "-")
triple10
((triple15 triple1) -> (rule5 % int1))
The bear is not big.
("bear" "is" "big" "-")
int1
((((triple1) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The bear is not big.
("bear" "is" "big" "-")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bear is not blue.
("bear" "is" "blue" "-")
triple11
The bear is rough.
("bear" "is" "rough" "+")
triple14
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple15
((triple1) -> (rule4 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple16
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1