The bald eagle chases the bear. The bald eagle eats the bear. The bald eagle is big. The bald eagle is cold. The bald eagle sees the bear. The bear eats the bald eagle. The bear sees the bald eagle. If the bear sees the bald eagle then the bear chases the bald eagle. If something chases the bald eagle then it eats the bear.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
If the bear sees the bald eagle then the bear chases the bald eagle.
((("bear" "sees" "bald eagle" "+")) -> ("bear" "chases" "bald eagle" "+"))
If something chases the bald eagle then it eats the bear.
((("something" "chases" "bald eagle" "+")) -> ("something" "eats" "bear" "+"))
The bald eagle is big.
True
1
proof
[(triple3)]
("bald eagle" "is" "big" "+")
triple3
The bald eagle does not chase the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "bear" "-")
triple1
The bear chases the bald eagle.
True
2
proof
[(((triple7) -> rule1))]
("bear" "chases" "bald eagle" "+")
((triple7) -> (rule1 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear does not chase the bald eagle.
False
2
inv-proof
[(((triple7) -> rule1))]
("bear" "chases" "bald eagle" "-")
((triple7) -> (rule1 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear eats the bear.
True
3
proof
[(((((triple7) -> rule1)) -> rule2))]
("bear" "eats" "bear" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int2
The bear does not eat the bear.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule2))]
("bear" "eats" "bear" "-")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int2
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle sees the bear.[(triple5)] The bear eats the bald eagle.[(triple6)] The bear sees the bald eagle.[(triple7)] @1: The bear chases the bald eagle.[(((triple7) -> rule1))] @2: The bear eats the bear.[(((((triple7) -> rule1)) -> rule2))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple4
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple5
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple6
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple7
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
((triple7) -> (rule1 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int2