The bald eagle is big. The bald eagle is nice. The bald eagle likes the bear. The bear chases the bald eagle. The bear chases the rabbit. The bear needs the bald eagle. The bear needs the rabbit. The rabbit is big. The rabbit is green. The rabbit likes the bear. If something likes the bear and the bear needs the rabbit then the bear likes the rabbit.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
If something likes the bear and the bear needs the rabbit then the bear likes the rabbit.
((("something" "likes" "bear" "+") ("bear" "needs" "rabbit" "+")) -> ("bear" "likes" "rabbit" "+"))
The rabbit is big.
True
1
proof
[(triple8)]
("rabbit" "is" "big" "+")
triple8
The bald eagle is not big.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "big" "-")
triple1
The bear likes the rabbit.
True
3
proof
[(((triple10 triple7) -> rule1) OR ((triple3 triple7) -> rule1))]
("bear" "likes" "rabbit" "+")
((triple10 triple7) -> (rule1 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
((triple3 triple7) -> (rule1 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The bear does not like the rabbit.
False
3
inv-proof
[(((triple10 triple7) -> rule1) OR ((triple3 triple7) -> rule1))]
("bear" "likes" "rabbit" "-")
((triple10 triple7) -> (rule1 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
((triple3 triple7) -> (rule1 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The bear likes the bald eagle.
Unknown
random
[@0: The bear likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bald eagle" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle likes the bear.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear chases the rabbit.[(triple5)] The bear needs the bald eagle.[(triple6)] The bear needs the rabbit.[(triple7)] The rabbit is big.[(triple8)] The rabbit is green.[(triple9)] The rabbit likes the bear.[(triple10)] @1: The bear likes the rabbit.[(((triple10 triple7) -> rule1) OR ((triple3 triple7) -> rule1))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple4
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple5
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple6
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple7
The rabbit is big.
("rabbit" "is" "big" "+")
triple8
The rabbit is green.
("rabbit" "is" "green" "+")
triple9
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple10
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
((triple10 triple7) -> (rule1 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
((triple3 triple7) -> (rule1 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1