The bald eagle needs the mouse. The mouse needs the bald eagle. If the mouse likes the bald eagle and the bald eagle needs the mouse then the bald eagle chases the mouse. If something needs the bald eagle then it is red. If the mouse chases the bald eagle and the bald eagle is kind then the bald eagle likes the mouse. Kind things are cold. If something chases the bald eagle then it is rough. If something chases the mouse and the mouse is rough then it likes the bald eagle. If something likes the bald eagle then the bald eagle needs the mouse. If the bald eagle needs the mouse and the bald eagle chases the mouse then the mouse is rough.
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
If the mouse likes the bald eagle and the bald eagle needs the mouse then the bald eagle chases the mouse.
((("mouse" "likes" "bald eagle" "+") ("bald eagle" "needs" "mouse" "+")) -> ("bald eagle" "chases" "mouse" "+"))
If something needs the bald eagle then it is red.
((("something" "needs" "bald eagle" "+")) -> ("something" "is" "red" "+"))
If the mouse chases the bald eagle and the bald eagle is kind then the bald eagle likes the mouse.
((("mouse" "chases" "bald eagle" "+") ("bald eagle" "is" "kind" "+")) -> ("bald eagle" "likes" "mouse" "+"))
Kind things are cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
If something chases the bald eagle then it is rough.
((("something" "chases" "bald eagle" "+")) -> ("something" "is" "rough" "+"))
If something chases the mouse and the mouse is rough then it likes the bald eagle.
((("something" "chases" "mouse" "+") ("mouse" "is" "rough" "+")) -> ("something" "likes" "bald eagle" "+"))
If something likes the bald eagle then the bald eagle needs the mouse.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "needs" "mouse" "+"))
If the bald eagle needs the mouse and the bald eagle chases the mouse then the mouse is rough.
((("bald eagle" "needs" "mouse" "+") ("bald eagle" "chases" "mouse" "+")) -> ("mouse" "is" "rough" "+"))
The bald eagle needs the mouse.
True
1
proof
[(triple1)]
("bald eagle" "needs" "mouse" "+")
triple1
The mouse does not need the bald eagle.
False
1
inv-proof
[(triple2)]
("mouse" "needs" "bald eagle" "-")
triple2
The mouse is red.
True
2
proof
[(((triple2) -> rule2))]
("mouse" "is" "red" "+")
((triple2) -> (rule2 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is not red.
False
2
inv-proof
[(((triple2) -> rule2))]
("mouse" "is" "red" "-")
((triple2) -> (rule2 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The bald eagle is not cold.
Unknown
inv-rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The mouse is rough.
Unknown
rconc
[@3: The mouse is rough.[CWA. Example of deepest failure = (rule8 <- rule1 <- rule6 <- FAIL)]]
("mouse" "is" "rough" "+")
The mouse does not chase the bald eagle.
Unknown
inv-random
[@0: The mouse chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "bald eagle" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The bald eagle needs the mouse.[(triple1)] The mouse needs the bald eagle.[(triple2)] @1: The mouse is red.[(((triple2) -> rule2))]
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple2
The mouse is red.
("mouse" "is" "red" "+")
((triple2) -> (rule2 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1