The bald eagle eats the bear. The bear eats the cow. The cow needs the bear. If someone eats the bear then the bear is not big. If someone eats the cow and they are not big then they are cold.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
If someone eats the bear then the bear is not big.
((("someone" "eats" "bear" "+")) -> ("bear" "is" "big" "-"))
If someone eats the cow and they are not big then they are cold.
((("someone" "eats" "cow" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "cold" "+"))
The bald eagle eats the bear.
True
1
proof
[(triple1)]
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle does not eat the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "bear" "-")
triple1
The bear is not big.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "big" "-")
((triple1) -> (rule1 % int1))
The bear is not big.
("bear" "is" "big" "-")
int1
The bear is big.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "big" "+")
((triple1) -> (rule1 % int1))
The bear is not big.
("bear" "is" "big" "-")
int1
The bear is cold.
True
4
proof
[(((triple2 ((triple1) -> rule1)) -> rule2))]
("bear" "is" "cold" "+")
((triple2 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is not big.
("bear" "is" "big" "-")
int2
The bear is not cold.
False
4
inv-proof
[(((triple2 ((triple1) -> rule1)) -> rule2))]
("bear" "is" "cold" "-")
((triple2 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is not big.
("bear" "is" "big" "-")
int2
The cow is not cold.
Unknown
inv-rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "cold" "-")
The bald eagle is cold.
Unknown
rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "cold" "+")
The bear does not need the cow.
Unknown
inv-random
[@0: The bear needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "cow" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The bald eagle does not eat the cow.
Unknown
inv-random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bald eagle eats the bear.[(triple1)] The bear eats the cow.[(triple2)] The cow needs the bear.[(triple3)] @1: The bear is not big.[(((triple1) -> rule1))] @2: The bear is cold.[(((triple2 ((triple1) -> rule1)) -> rule2))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bear eats the cow.
("bear" "eats" "cow" "+")
triple2
The cow needs the bear.
("cow" "needs" "bear" "+")
triple3
The bear is not big.
("bear" "is" "big" "-")
((triple1) -> (rule1 % int1))
The bear is not big.
("bear" "is" "big" "-")
int1
The bear is cold.
("bear" "is" "cold" "+")
((triple2 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is not big.
("bear" "is" "big" "-")
int2