The bald eagle needs the mouse. The bald eagle sees the mouse. The mouse chases the bald eagle. The mouse is big. The mouse is kind. The mouse is rough. The mouse sees the bald eagle. If someone needs the bald eagle then they see the mouse. If the bald eagle needs the mouse and the bald eagle sees the mouse then the bald eagle is blue. If someone is kind and they do not chase the bald eagle then the bald eagle needs the mouse. If someone chases the bald eagle then the bald eagle is not kind. If someone is red then they need the bald eagle. If someone needs the bald eagle and they do not see the mouse then the mouse is not blue.
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If someone needs the bald eagle then they see the mouse.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "sees" "mouse" "+"))
If the bald eagle needs the mouse and the bald eagle sees the mouse then the bald eagle is blue.
((("bald eagle" "needs" "mouse" "+") ("bald eagle" "sees" "mouse" "+")) -> ("bald eagle" "is" "blue" "+"))
If someone is kind and they do not chase the bald eagle then the bald eagle needs the mouse.
((("someone" "is" "kind" "+") ("someone" "chases" "bald eagle" "~")) -> ("bald eagle" "needs" "mouse" "+"))
If someone chases the bald eagle then the bald eagle is not kind.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "-"))
If someone is red then they need the bald eagle.
((("someone" "is" "red" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone needs the bald eagle and they do not see the mouse then the mouse is not blue.
((("someone" "needs" "bald eagle" "+") ("someone" "sees" "mouse" "~")) -> ("mouse" "is" "blue" "-"))
The bald eagle sees the mouse.
True
1
proof
[(triple2)]
("bald eagle" "sees" "mouse" "+")
triple2
The mouse is not big.
False
1
inv-proof
[(triple4)]
("mouse" "is" "big" "-")
triple4
The bald eagle is not kind.
True
2
proof
[(((triple3) -> rule4))]
("bald eagle" "is" "kind" "-")
((triple3) -> (rule4 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle is kind.
False
2
inv-proof
[(((triple3) -> rule4))]
("bald eagle" "is" "kind" "+")
((triple3) -> (rule4 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle does not need the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The mouse needs the bald eagle.
Unknown
rconc
[@1: The mouse needs the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "needs" "bald eagle" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bald eagle chases the mouse.
Unknown
random
[@0: The bald eagle chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "mouse" "+")
@0: The bald eagle needs the mouse.[(triple1)] The bald eagle sees the mouse.[(triple2)] The mouse chases the bald eagle.[(triple3)] The mouse is big.[(triple4)] The mouse is kind.[(triple5)] The mouse is rough.[(triple6)] The mouse sees the bald eagle.[(triple7)] @1: The bald eagle is blue.[(((triple1 triple2) -> rule2))] The bald eagle is not kind.[(((triple3) -> rule4))]
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple3
The mouse is big.
("mouse" "is" "big" "+")
triple4
The mouse is kind.
("mouse" "is" "kind" "+")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple7
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple1 triple2) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
((triple3) -> (rule4 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1