The bald eagle eats the squirrel. The bald eagle is nice. The mouse does not eat the squirrel. The mouse needs the squirrel. The squirrel is blue. The squirrel is kind. The squirrel needs the mouse. If someone sees the mouse and the mouse needs the bald eagle then the mouse does not eat the squirrel. If the bald eagle does not see the squirrel then the bald eagle does not see the mouse. If someone eats the bald eagle then the bald eagle is not nice. If someone is nice and they need the squirrel then they are kind. If someone is nice then they need the squirrel. If the squirrel does not eat the mouse then the squirrel eats the bald eagle.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The mouse does not eat the squirrel.
("mouse" "eats" "squirrel" "-")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If someone sees the mouse and the mouse needs the bald eagle then the mouse does not eat the squirrel.
((("someone" "sees" "mouse" "+") ("mouse" "needs" "bald eagle" "+")) -> ("mouse" "eats" "squirrel" "-"))
If the bald eagle does not see the squirrel then the bald eagle does not see the mouse.
((("bald eagle" "sees" "squirrel" "~")) -> ("bald eagle" "sees" "mouse" "-"))
If someone eats the bald eagle then the bald eagle is not nice.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "-"))
If someone is nice and they need the squirrel then they are kind.
((("someone" "is" "nice" "+") ("someone" "needs" "squirrel" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice then they need the squirrel.
((("someone" "is" "nice" "+")) -> ("someone" "needs" "squirrel" "+"))
If the squirrel does not eat the mouse then the squirrel eats the bald eagle.
((("squirrel" "eats" "mouse" "~")) -> ("squirrel" "eats" "bald eagle" "+"))
The bald eagle eats the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "eats" "squirrel" "+")
triple1
The squirrel is not blue.
False
1
inv-proof
[(triple5)]
("squirrel" "is" "blue" "-")
triple5
The bald eagle needs the squirrel.
True
2
proof
[(((triple2) -> rule5))]
("bald eagle" "needs" "squirrel" "+")
((triple2) -> (rule5 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle does not need the squirrel.
False
2
inv-proof
[(((triple2) -> rule5))]
("bald eagle" "needs" "squirrel" "-")
((triple2) -> (rule5 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle is kind.
True
4
proof
[(((triple2 ((triple2) -> rule5)) -> rule4))]
("bald eagle" "is" "kind" "+")
((triple2 ((triple2) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The bald eagle is not kind.
False
4
inv-proof
[(((triple2 ((triple2) -> rule5)) -> rule4))]
("bald eagle" "is" "kind" "-")
((triple2 ((triple2) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
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 squirrel needs the squirrel.
Unknown
rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "needs" "squirrel" "+")
The mouse is not kind.
Unknown
inv-rconc
[@1: The mouse is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "is" "kind" "-")
The squirrel sees the bald eagle.
Unknown
random
[@0: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "bald eagle" "+")
The bald eagle does not see the mouse.
Unknown
inv-random
[@0: The bald eagle sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "mouse" "-")
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 eats the squirrel.[(triple1)] The bald eagle is nice.[(triple2)] The mouse does not eat the squirrel.[(triple3)] The mouse needs the squirrel.[(triple4)] The squirrel is blue.[(triple5)] The squirrel is kind.[(triple6)] The squirrel needs the mouse.[(triple7)] @1: The bald eagle needs the squirrel.[(((triple2) -> rule5))] @2: The bald eagle is kind.[(((triple2 ((triple2) -> rule5)) -> rule4))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The mouse does not eat the squirrel.
("mouse" "eats" "squirrel" "-")
triple3
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple4
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple5
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple6
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple7
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
((triple2) -> (rule5 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple2 ((triple2) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2