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