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