The bald eagle eats the mouse. The bald eagle does not need the mouse. The bear eats the bald eagle. The bear is young. The bear needs the bald eagle. The bear does not see the mouse. The mouse eats the bear. The mouse is cold. The mouse needs the bear. The mouse does not see the bear. If something is green and blue then it is not cold. If something is young and it eats the bear then it does not see the mouse. If something eats the bald eagle then it sees the bald eagle.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear does not see the mouse.
("bear" "sees" "mouse" "-")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse does not see the bear.
("mouse" "sees" "bear" "-")
If something is green and blue then it is not cold.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "-"))
If something is young and it eats the bear then it does not see the mouse.
((("something" "is" "young" "+") ("something" "eats" "bear" "+")) -> ("something" "sees" "mouse" "-"))
If something eats the bald eagle then it sees the bald eagle.
((("something" "eats" "bald eagle" "+")) -> ("something" "sees" "bald eagle" "+"))
The bald eagle eats the mouse.
True
1
proof
[(triple1)]
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle needs the mouse.
False
1
inv-proof
[(triple2)]
("bald eagle" "needs" "mouse" "+")
triple2
The bear sees the bald eagle.
True
2
proof
[(((triple3) -> rule3))]
("bear" "sees" "bald eagle" "+")
((triple3) -> (rule3 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear does not see the bald eagle.
False
2
inv-proof
[(((triple3) -> rule3))]
("bear" "sees" "bald eagle" "-")
((triple3) -> (rule3 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The mouse sees the bald eagle.
Unknown
rconc
[@1: The mouse sees the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "sees" "bald eagle" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The mouse eats the bald eagle.
Unknown
random
[@0: The mouse eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bald eagle" "+")
@0: The bald eagle does not need the mouse.[(triple2)] The bald eagle eats the mouse.[(triple1)] The bear does not see the mouse.[(triple6)] The bear eats the bald eagle.[(triple3)] The bear is young.[(triple4)] The bear needs the bald eagle.[(triple5)] The mouse does not see the bear.[(triple10)] The mouse eats the bear.[(triple7)] The mouse is cold.[(triple8)] The mouse needs the bear.[(triple9)] @1: The bear sees the bald eagle.[(((triple3) -> rule3))]
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
triple2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bear does not see the mouse.
("bear" "sees" "mouse" "-")
triple6
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple5
The mouse does not see the bear.
("mouse" "sees" "bear" "-")
triple10
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple7
The mouse is cold.
("mouse" "is" "cold" "+")
triple8
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple9
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((triple3) -> (rule3 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1