The bald eagle eats the mouse. The mouse sees the squirrel. The squirrel is big. The squirrel is red. The squirrel is round. The squirrel needs the bald eagle. The squirrel needs the mouse. If something sees the squirrel and it is not green then the squirrel is not red. If something eats the squirrel and it does not need the bald eagle then it eats the mouse. If the squirrel is not red then the squirrel needs the mouse. If something sees the mouse and the mouse eats the bald eagle then it needs the squirrel. If something is round and it eats the mouse then it does not need the squirrel. If something needs the mouse then it eats the bald eagle.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If something sees the squirrel and it is not green then the squirrel is not red.
((("something" "sees" "squirrel" "+") ("something" "is" "green" "~")) -> ("squirrel" "is" "red" "-"))
If something eats the squirrel and it does not need the bald eagle then it eats the mouse.
((("something" "eats" "squirrel" "+") ("something" "needs" "bald eagle" "~")) -> ("something" "eats" "mouse" "+"))
If the squirrel is not red then the squirrel needs the mouse.
((("squirrel" "is" "red" "~")) -> ("squirrel" "needs" "mouse" "+"))
If something sees the mouse and the mouse eats the bald eagle then it needs the squirrel.
((("something" "sees" "mouse" "+") ("mouse" "eats" "bald eagle" "+")) -> ("something" "needs" "squirrel" "+"))
If something is round and it eats the mouse then it does not need the squirrel.
((("something" "is" "round" "+") ("something" "eats" "mouse" "+")) -> ("something" "needs" "squirrel" "-"))
If something needs the mouse then it eats the bald eagle.
((("something" "needs" "mouse" "+")) -> ("something" "eats" "bald eagle" "+"))
The squirrel is red.
True
1
proof
[(triple4)]
("squirrel" "is" "red" "+")
triple4
The squirrel is not big.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "big" "-")
triple3
The squirrel eats the bald eagle.
True
2
proof
[(((triple7) -> rule6))]
("squirrel" "eats" "bald eagle" "+")
((triple7) -> (rule6 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel does not eat the bald eagle.
False
2
inv-proof
[(((triple7) -> rule6))]
("squirrel" "eats" "bald eagle" "-")
((triple7) -> (rule6 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The mouse does not eat the bald eagle.
Unknown
inv-rconc
[@1: The mouse eats the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "eats" "bald eagle" "-")
The squirrel eats the mouse.
Unknown
rconc
[@1: The squirrel eats the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "mouse" "+")
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 bald eagle sees the squirrel.
Unknown
random
[@0: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "squirrel" "+")
@0: The bald eagle eats the mouse.[(triple1)] The mouse sees the squirrel.[(triple2)] The squirrel is big.[(triple3)] The squirrel is red.[(triple4)] The squirrel is round.[(triple5)] The squirrel needs the bald eagle.[(triple6)] The squirrel needs the mouse.[(triple7)] @1: The squirrel eats the bald eagle.[(((triple7) -> rule6))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple2
The squirrel is big.
("squirrel" "is" "big" "+")
triple3
The squirrel is red.
("squirrel" "is" "red" "+")
triple4
The squirrel is round.
("squirrel" "is" "round" "+")
triple5
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple6
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple7
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
((triple7) -> (rule6 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1