The bald eagle eats the bear. The bald eagle needs the tiger. The bear chases the bald eagle. The bear chases the tiger. The bear eats the bald eagle. The bear is big. The bear is kind. The bear is red. The bear needs the bald eagle. The bear needs the tiger. The tiger chases the bear. The tiger is round. The tiger is young. The tiger needs the bald eagle. The tiger needs the bear. If someone needs the bear then they are big. If someone eats the bald eagle and they are kind then the bald eagle needs the bear.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
If someone needs the bear then they are big.
((("someone" "needs" "bear" "+")) -> ("someone" "is" "big" "+"))
If someone eats the bald eagle and they are kind then the bald eagle needs the bear.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "kind" "+")) -> ("bald eagle" "needs" "bear" "+"))
The bear chases the tiger.
True
1
proof
[(triple4)]
("bear" "chases" "tiger" "+")
triple4
The bear is not big.
False
1
inv-proof
[(triple6)]
("bear" "is" "big" "-")
triple6
The bald eagle needs the bear.
True
3
proof
[(((triple5 triple7) -> rule2))]
("bald eagle" "needs" "bear" "+")
((triple5 triple7) -> (rule2 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The tiger is not big.
False
2
inv-proof
[(((triple15) -> rule1))]
("tiger" "is" "big" "-")
((triple15) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The bald eagle is big.
True
4
proof
[(((((triple5 triple7) -> rule2)) -> rule1))]
("bald eagle" "is" "big" "+")
((((triple5 triple7) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle is not big.
False
4
inv-proof
[(((((triple5 triple7) -> rule2)) -> rule1))]
("bald eagle" "is" "big" "-")
((((triple5 triple7) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The tiger does not eat the bear.
Unknown
inv-random
[@0: The tiger eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "bear" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
The tiger does not eat the bald eagle.
Unknown
inv-random
[@0: The tiger eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "bald eagle" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The bald eagle does not chase the bear.
Unknown
inv-random
[@0: The bald eagle chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bear" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle needs the tiger.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear chases the tiger.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear is big.[(triple6)] The bear is kind.[(triple7)] The bear is red.[(triple8)] The bear needs the bald eagle.[(triple9)] The bear needs the tiger.[(triple10)] The tiger chases the bear.[(triple11)] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger needs the bald eagle.[(triple14)] The tiger needs the bear.[(triple15)] @1: The bald eagle needs the bear.[(((triple5 triple7) -> rule2))] The tiger is big.[(((triple15) -> rule1))] @2: The bald eagle is big.[(((((triple5 triple7) -> rule2)) -> rule1))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple3
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple4
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple5
The bear is big.
("bear" "is" "big" "+")
triple6
The bear is kind.
("bear" "is" "kind" "+")
triple7
The bear is red.
("bear" "is" "red" "+")
triple8
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple9
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple10
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple11
The tiger is round.
("tiger" "is" "round" "+")
triple12
The tiger is young.
("tiger" "is" "young" "+")
triple13
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple14
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple15
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
((triple5 triple7) -> (rule2 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
((triple15) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
((((triple5 triple7) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2