The bald eagle does not see the dog. The dog likes the mouse. The dog needs the bald eagle. The mouse is big. The mouse is young. The mouse sees the squirrel. The squirrel is blue. The squirrel is young. The squirrel likes the mouse. The squirrel needs the mouse. If someone is red and they do not need the mouse then the mouse does not like the squirrel. If someone likes the mouse and they need the dog then the mouse does not see the squirrel. If someone needs the bald eagle then the bald eagle does not see the mouse.
The bald eagle does not see the dog.
("bald eagle" "sees" "dog" "-")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If someone is red and they do not need the mouse then the mouse does not like the squirrel.
((("someone" "is" "red" "+") ("someone" "needs" "mouse" "~")) -> ("mouse" "likes" "squirrel" "-"))
If someone likes the mouse and they need the dog then the mouse does not see the squirrel.
((("someone" "likes" "mouse" "+") ("someone" "needs" "dog" "+")) -> ("mouse" "sees" "squirrel" "-"))
If someone needs the bald eagle then the bald eagle does not see the mouse.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "sees" "mouse" "-"))
The bald eagle does not see the dog.
True
1
proof
[(triple1)]
("bald eagle" "sees" "dog" "-")
triple1
The squirrel is not young.
False
1
inv-proof
[(triple8)]
("squirrel" "is" "young" "-")
triple8
The bald eagle does not see the mouse.
True
2
proof
[(((triple3) -> rule3))]
("bald eagle" "sees" "mouse" "-")
((triple3) -> (rule3 % int1))
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
int1
The bald eagle sees the mouse.
False
2
inv-proof
[(((triple3) -> rule3))]
("bald eagle" "sees" "mouse" "+")
((triple3) -> (rule3 % int1))
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
int1
The mouse does not need the dog.
Unknown
inv-random
[@0: The mouse needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "dog" "-")
The dog needs the squirrel.
Unknown
random
[@0: The dog needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "squirrel" "+")
The bald eagle does not need the dog.
Unknown
inv-random
[@0: The bald eagle needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "dog" "-")
The mouse likes the squirrel.
Unknown
random
[@0: The mouse likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "squirrel" "+")
@0: The bald eagle does not see the dog.[(triple1)] The dog likes the mouse.[(triple2)] The dog needs the bald eagle.[(triple3)] The mouse is big.[(triple4)] The mouse is young.[(triple5)] The mouse sees the squirrel.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is young.[(triple8)] The squirrel likes the mouse.[(triple9)] The squirrel needs the mouse.[(triple10)] @1: The bald eagle does not see the mouse.[(((triple3) -> rule3))]
The bald eagle does not see the dog.
("bald eagle" "sees" "dog" "-")
triple1
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple3
The mouse is big.
("mouse" "is" "big" "+")
triple4
The mouse is young.
("mouse" "is" "young" "+")
triple5
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple6
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple7
The squirrel is young.
("squirrel" "is" "young" "+")
triple8
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple9
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple10
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
((triple3) -> (rule3 % int1))
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
int1