The bald eagle is green. The bald eagle is young. The bald eagle likes the bear. The bear chases the rabbit. The bear is big. The bear is blue. The bear likes the bald eagle. The bear likes the rabbit. The bear needs the bald eagle. The bear needs the rabbit. The rabbit chases the bald eagle. The rabbit chases the bear. The rabbit is nice. The rabbit needs the bald eagle. The rabbit needs the bear. If the bear needs the rabbit then the bear needs the bald eagle. If someone chases the bald eagle then the bald eagle needs the bear.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
If the bear needs the rabbit then the bear needs the bald eagle.
((("bear" "needs" "rabbit" "+")) -> ("bear" "needs" "bald eagle" "+"))
If someone chases the bald eagle then the bald eagle needs the bear.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "needs" "bear" "+"))
The bear needs the bald eagle.
True
1
proof
[(triple9 OR ((triple10) -> rule1))]
("bear" "needs" "bald eagle" "+")
triple9
((triple10) -> (rule1 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bald eagle is not young.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "young" "-")
triple2
The bald eagle needs the bear.
True
2
proof
[(((triple11) -> rule2))]
("bald eagle" "needs" "bear" "+")
((triple11) -> (rule2 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle does not need the bear.
False
2
inv-proof
[(((triple11) -> rule2))]
("bald eagle" "needs" "bear" "-")
((triple11) -> (rule2 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle does not chase the rabbit.
Unknown
inv-random
[@0: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "rabbit" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The bald eagle needs the rabbit.
Unknown
random
[@0: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "rabbit" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the bear.[(triple3)] The bear chases the rabbit.[(triple4)] The bear is big.[(triple5)] The bear is blue.[(triple6)] The bear likes the bald eagle.[(triple7)] The bear likes the rabbit.[(triple8)] The bear needs the bald eagle.[(triple9 OR ((triple10) -> rule1))] The bear needs the rabbit.[(triple10)] The rabbit chases the bald eagle.[(triple11)] The rabbit chases the bear.[(triple12)] The rabbit is nice.[(triple13)] The rabbit needs the bald eagle.[(triple14)] The rabbit needs the bear.[(triple15)] @1: The bald eagle needs the bear.[(((triple11) -> rule2))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple3
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
triple5
The bear is blue.
("bear" "is" "blue" "+")
triple6
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple7
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple8
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple9
((triple10) -> (rule1 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple10
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple11
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple12
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple13
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple14
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple15
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
((triple11) -> (rule2 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1