The bald eagle eats the bear. The bald eagle needs the mouse. The bear eats the mouse. The bear is kind. The bear is round. The bear needs the bald eagle. The bear needs the mouse. The bear visits the mouse. The mouse is young. The mouse visits the bear. If someone is kind and blue then they are young. If someone is blue then they eat the bald eagle. If someone is blue then they are big. If someone eats the bear and they are kind then the bear needs the mouse. Young people are blue. If someone is young and they need the mouse then they eat the bald eagle. If the bald eagle eats the mouse then the bald eagle visits the bear. If someone eats the bald eagle then the bald eagle needs the bear.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If someone is kind and blue then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is blue then they eat the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone is blue then they are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone eats the bear and they are kind then the bear needs the mouse.
((("someone" "eats" "bear" "+") ("someone" "is" "kind" "+")) -> ("bear" "needs" "mouse" "+"))
Young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and they need the mouse then they eat the bald eagle.
((("someone" "is" "young" "+") ("someone" "needs" "mouse" "+")) -> ("someone" "eats" "bald eagle" "+"))
If the bald eagle eats the mouse then the bald eagle visits the bear.
((("bald eagle" "eats" "mouse" "+")) -> ("bald eagle" "visits" "bear" "+"))
If someone eats the bald eagle then the bald eagle needs the bear.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "needs" "bear" "+"))
The bald eagle eats the bear.
True
1
proof
[(triple1)]
("bald eagle" "eats" "bear" "+")
triple1
The bear does not need the bald eagle.
False
1
inv-proof
[(triple6)]
("bear" "needs" "bald eagle" "-")
triple6
The mouse is blue.
True
2
proof
[(((triple9) -> rule5))]
("mouse" "is" "blue" "+")
((triple9) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is not blue.
False
2
inv-proof
[(((triple9) -> rule5))]
("mouse" "is" "blue" "-")
((triple9) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is big.
True
3
proof
[(((((triple9) -> rule5)) -> rule3))]
("mouse" "is" "big" "+")
((((triple9) -> (rule5 % int2))) -> (rule3 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse is not big.
False
3
inv-proof
[(((((triple9) -> rule5)) -> rule3))]
("mouse" "is" "big" "-")
((((triple9) -> (rule5 % int2))) -> (rule3 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The bald eagle needs the bear.
True
4
proof
[(((((((triple9) -> rule5)) -> rule2)) -> rule8))]
("bald eagle" "needs" "bear" "+")
((((((triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The bald eagle does not need the bear.
False
4
inv-proof
[(((((((triple9) -> rule5)) -> rule2)) -> rule8))]
("bald eagle" "needs" "bear" "-")
((((((triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The bald eagle is not big.
Unknown
inv-rconc
[@3: The bald eagle is big.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule1 <- FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle visits the bear.
Unknown
rconc
[@1: The bald eagle visits the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "visits" "bear" "+")
The bear does not eat the bald eagle.
Unknown
inv-rconc
[@3: The bear eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule1 <- FAIL)]]
("bear" "eats" "bald eagle" "-")
The bald eagle eats the bald eagle.
Unknown
rconc
[@3: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule1 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The bald eagle eats the mouse.
Unknown
random
[@0: The bald eagle eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "mouse" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The mouse eats the bear.
Unknown
random
[@0: The mouse eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bear" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle needs the mouse.[(triple2)] The bear eats the mouse.[(triple3)] The bear is kind.[(triple4)] The bear is round.[(triple5)] The bear needs the bald eagle.[(triple6)] The bear needs the mouse.[(triple7)] The bear visits the mouse.[(triple8)] The mouse is young.[(triple9)] The mouse visits the bear.[(triple10)] @1: The mouse is blue.[(((triple9) -> rule5))] @2: The mouse eats the bald eagle.[(((((triple9) -> rule5)) -> rule2))] The mouse is big.[(((((triple9) -> rule5)) -> rule3))] @3: The bald eagle needs the bear.[(((((((triple9) -> rule5)) -> rule2)) -> rule8))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple2
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple6
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple7
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple8
The mouse is young.
("mouse" "is" "young" "+")
triple9
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple10
The mouse is blue.
("mouse" "is" "blue" "+")
((triple9) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
((((triple9) -> (rule5 % int2))) -> (rule2 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
((((triple9) -> (rule5 % int2))) -> (rule3 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
((((((triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3