The bald eagle needs the squirrel. The mouse sees the squirrel. The squirrel is rough. If someone sees the bald eagle then the bald eagle eats the mouse. If someone needs the squirrel and the squirrel needs the mouse then the squirrel eats the bald eagle. If someone needs the bald eagle and they are not rough then the bald eagle needs the squirrel. If someone sees the squirrel and the squirrel is rough then they need the mouse. If the bald eagle is blue and the bald eagle eats the squirrel then the bald eagle sees the squirrel. If someone sees the squirrel then the squirrel sees the bald eagle.
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If someone sees the bald eagle then the bald eagle eats the mouse.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "mouse" "+"))
If someone needs the squirrel and the squirrel needs the mouse then the squirrel eats the bald eagle.
((("someone" "needs" "squirrel" "+") ("squirrel" "needs" "mouse" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
If someone needs the bald eagle and they are not rough then the bald eagle needs the squirrel.
((("someone" "needs" "bald eagle" "+") ("someone" "is" "rough" "~")) -> ("bald eagle" "needs" "squirrel" "+"))
If someone sees the squirrel and the squirrel is rough then they need the mouse.
((("someone" "sees" "squirrel" "+") ("squirrel" "is" "rough" "+")) -> ("someone" "needs" "mouse" "+"))
If the bald eagle is blue and the bald eagle eats the squirrel then the bald eagle sees the squirrel.
((("bald eagle" "is" "blue" "+") ("bald eagle" "eats" "squirrel" "+")) -> ("bald eagle" "sees" "squirrel" "+"))
If someone sees the squirrel then the squirrel sees the bald eagle.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
The squirrel is rough.
True
1
proof
[(triple3)]
("squirrel" "is" "rough" "+")
triple3
The mouse does not see the squirrel.
False
1
inv-proof
[(triple2)]
("mouse" "sees" "squirrel" "-")
triple2
The squirrel sees the bald eagle.
True
2
proof
[(((triple2) -> rule6))]
("squirrel" "sees" "bald eagle" "+")
((triple2) -> (rule6 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The mouse does not need the mouse.
False
3
inv-proof
[(((triple2 triple3) -> rule4))]
("mouse" "needs" "mouse" "-")
((triple2 triple3) -> (rule4 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The bald eagle eats the mouse.
True
3
proof
[(((((triple2) -> rule6)) -> rule1))]
("bald eagle" "eats" "mouse" "+")
((((triple2) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The bald eagle does not eat the mouse.
False
3
inv-proof
[(((((triple2) -> rule6)) -> rule1))]
("bald eagle" "eats" "mouse" "-")
((((triple2) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The bald eagle does not see the squirrel.
Unknown
inv-rconc
[@1: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "squirrel" "-")
The bald eagle needs the mouse.
Unknown
rconc
[@2: The bald eagle needs the mouse.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("bald eagle" "needs" "mouse" "+")
The squirrel does not need the mouse.
Unknown
inv-rconc
[@1: The squirrel needs the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "needs" "mouse" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
The squirrel does not eat the mouse.
Unknown
inv-random
[@0: The squirrel eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "mouse" "-")
The mouse sees the bald eagle.
Unknown
random
[@0: The mouse sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bald eagle" "+")
@0: The bald eagle needs the squirrel.[(triple1)] The mouse sees the squirrel.[(triple2)] The squirrel is rough.[(triple3)] @1: The mouse needs the mouse.[(((triple2 triple3) -> rule4))] The squirrel sees the bald eagle.[(((triple2) -> rule6))] @2: The bald eagle eats the mouse.[(((((triple2) -> rule6)) -> rule1))]
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple1
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple2
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple3
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((triple2 triple3) -> (rule4 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
((triple2) -> (rule6 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
((((triple2) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2