The bald eagle does not eat the bear. The bear eats the bald eagle. The bear likes the bald eagle. If something is big then it sees the bear. If the bald eagle sees the bear then the bear is blue. If something sees the bald eagle then it is kind. If something likes the bear and the bear eats the bald eagle then it likes the bald eagle. If something eats the bald eagle then it sees the bald eagle. If something eats the bald eagle and it is kind then the bald eagle sees the bear.
The bald eagle does not eat the bear.
("bald eagle" "eats" "bear" "-")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
If something is big then it sees the bear.
((("something" "is" "big" "+")) -> ("something" "sees" "bear" "+"))
If the bald eagle sees the bear then the bear is blue.
((("bald eagle" "sees" "bear" "+")) -> ("bear" "is" "blue" "+"))
If something sees the bald eagle then it is kind.
((("something" "sees" "bald eagle" "+")) -> ("something" "is" "kind" "+"))
If something likes the bear and the bear eats the bald eagle then it likes the bald eagle.
((("something" "likes" "bear" "+") ("bear" "eats" "bald eagle" "+")) -> ("something" "likes" "bald eagle" "+"))
If something eats the bald eagle then it sees the bald eagle.
((("something" "eats" "bald eagle" "+")) -> ("something" "sees" "bald eagle" "+"))
If something eats the bald eagle and it is kind then the bald eagle sees the bear.
((("something" "eats" "bald eagle" "+") ("something" "is" "kind" "+")) -> ("bald eagle" "sees" "bear" "+"))
The bear eats the bald eagle.
True
1
proof
[(triple2)]
("bear" "eats" "bald eagle" "+")
triple2
The bear does not eat the bald eagle.
False
1
inv-proof
[(triple2)]
("bear" "eats" "bald eagle" "-")
triple2
The bear sees the bald eagle.
True
2
proof
[(((triple2) -> rule5))]
("bear" "sees" "bald eagle" "+")
((triple2) -> (rule5 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear does not see the bald eagle.
False
2
inv-proof
[(((triple2) -> rule5))]
("bear" "sees" "bald eagle" "-")
((triple2) -> (rule5 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear is kind.
True
3
proof
[(((((triple2) -> rule5)) -> rule3))]
("bear" "is" "kind" "+")
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear is not kind.
False
3
inv-proof
[(((((triple2) -> rule5)) -> rule3))]
("bear" "is" "kind" "-")
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The bald eagle is not kind.
Unknown
inv-rconc
[@2: The bald eagle is kind.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
@0: The bald eagle does not eat the bear.[(triple1)] The bear eats the bald eagle.[(triple2)] The bear likes the bald eagle.[(triple3)] @1: The bear sees the bald eagle.[(((triple2) -> rule5))] @2: The bear is kind.[(((((triple2) -> rule5)) -> rule3))] @3: The bald eagle sees the bear.[(((triple2 ((((triple2) -> rule5)) -> rule3)) -> rule6))] @4: The bear is blue.[(((((triple2 ((((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule2))]
The bald eagle does not eat the bear.
("bald eagle" "eats" "bear" "-")
triple1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple3
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((triple2) -> (rule5 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((triple2 ((((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The bear is blue.
("bear" "is" "blue" "+")
((((triple2 ((((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int4