The bald eagle does not eat the squirrel. The bald eagle is nice. The bald eagle sees the mouse. The bald eagle sees the squirrel. The mouse eats the squirrel. The mouse is not nice. The mouse is red. The mouse does not need the bald eagle. The mouse sees the squirrel. The squirrel is cold. The squirrel is nice. The squirrel does not need the bald eagle. If something sees the mouse and it needs the mouse then it eats the squirrel. If something is young then it is nice. If something is young and nice then it needs the squirrel. If the mouse needs the squirrel then the mouse is cold. If something is nice and it does not need the bald eagle then it does not need the mouse. If something needs the mouse and it is not nice then it eats the mouse. If something sees the bald eagle and it does not need the squirrel then it is not cold. If something needs the bald eagle and the bald eagle does not eat the squirrel then the squirrel sees the bald eagle.
The bald eagle does not eat the squirrel.
("bald eagle" "eats" "squirrel" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is not nice.
("mouse" "is" "nice" "-")
The mouse is red.
("mouse" "is" "red" "+")
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
If something sees the mouse and it needs the mouse then it eats the squirrel.
((("something" "sees" "mouse" "+") ("something" "needs" "mouse" "+")) -> ("something" "eats" "squirrel" "+"))
If something is young then it is nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If something is young and nice then it needs the squirrel.
((("something" "is" "young" "+") ("something" "is" "nice" "+")) -> ("something" "needs" "squirrel" "+"))
If the mouse needs the squirrel then the mouse is cold.
((("mouse" "needs" "squirrel" "+")) -> ("mouse" "is" "cold" "+"))
If something is nice and it does not need the bald eagle then it does not need the mouse.
((("something" "is" "nice" "+") ("something" "needs" "bald eagle" "~")) -> ("something" "needs" "mouse" "-"))
If something needs the mouse and it is not nice then it eats the mouse.
((("something" "needs" "mouse" "+") ("something" "is" "nice" "~")) -> ("something" "eats" "mouse" "+"))
If something sees the bald eagle and it does not need the squirrel then it is not cold.
((("something" "sees" "bald eagle" "+") ("something" "needs" "squirrel" "~")) -> ("something" "is" "cold" "-"))
If something needs the bald eagle and the bald eagle does not eat the squirrel then the squirrel sees the bald eagle.
((("something" "needs" "bald eagle" "+") ("bald eagle" "eats" "squirrel" "~")) -> ("squirrel" "sees" "bald eagle" "+"))
The bald eagle sees the squirrel.
True
1
proof
[(triple4)]
("bald eagle" "sees" "squirrel" "+")
triple4
The mouse needs the bald eagle.
False
1
inv-proof
[(triple8)]
("mouse" "needs" "bald eagle" "+")
triple8
The squirrel does not need the mouse.
True
3
proof
[(((triple11 triple12) -> rule5))]
("squirrel" "needs" "mouse" "-")
((triple11 triple12) -> (rule5 % int1))
The squirrel does not need the mouse.
("squirrel" "needs" "mouse" "-")
int1
The squirrel needs the mouse.
False
3
inv-proof
[(((triple11 triple12) -> rule5))]
("squirrel" "needs" "mouse" "+")
((triple11 triple12) -> (rule5 % int1))
The squirrel does not need the mouse.
("squirrel" "needs" "mouse" "-")
int1
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel sees the bald eagle.
Unknown
rconc
[@1: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "sees" "bald eagle" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle does not eat the squirrel.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle sees the mouse.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The mouse does not need the bald eagle.[(triple8)] The mouse eats the squirrel.[(triple5)] The mouse is not nice.[(triple6)] The mouse is red.[(triple7)] The mouse sees the squirrel.[(triple9)] The squirrel does not need the bald eagle.[(triple12)] The squirrel is cold.[(triple10)] The squirrel is nice.[(triple11)] @1: The squirrel does not need the mouse.[(((triple11 triple12) -> rule5))]
The bald eagle does not eat the squirrel.
("bald eagle" "eats" "squirrel" "-")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple3
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple4
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
triple8
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple5
The mouse is not nice.
("mouse" "is" "nice" "-")
triple6
The mouse is red.
("mouse" "is" "red" "+")
triple7
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple9
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
triple12
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The squirrel does not need the mouse.
("squirrel" "needs" "mouse" "-")
((triple11 triple12) -> (rule5 % int1))
The squirrel does not need the mouse.
("squirrel" "needs" "mouse" "-")
int1