The bald eagle eats the dog. The dog eats the bald eagle. The dog is not round. The dog sees the bald eagle. The dog does not see the mouse. The dog visits the mouse. The mouse eats the bald eagle. The mouse is not young. The mouse sees the dog. The mouse visits the bald eagle. If the dog does not visit the mouse then the mouse sees the dog. If something sees the bald eagle then it does not see the dog.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is not round.
("dog" "is" "round" "-")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog does not see the mouse.
("dog" "sees" "mouse" "-")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is not young.
("mouse" "is" "young" "-")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If the dog does not visit the mouse then the mouse sees the dog.
((("dog" "visits" "mouse" "~")) -> ("mouse" "sees" "dog" "+"))
If something sees the bald eagle then it does not see the dog.
((("something" "sees" "bald eagle" "+")) -> ("something" "sees" "dog" "-"))
The mouse visits the bald eagle.
True
1
proof
[(triple10)]
("mouse" "visits" "bald eagle" "+")
triple10
The bald eagle does not eat the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "dog" "-")
triple1
The dog does not see the dog.
True
2
proof
[(((triple4) -> rule2))]
("dog" "sees" "dog" "-")
((triple4) -> (rule2 % int1))
The dog does not see the dog.
("dog" "sees" "dog" "-")
int1
The dog sees the dog.
False
2
inv-proof
[(((triple4) -> rule2))]
("dog" "sees" "dog" "+")
((triple4) -> (rule2 % int1))
The dog does not see the dog.
("dog" "sees" "dog" "-")
int1
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
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 is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
@0: The bald eagle eats the dog.[(triple1)] The dog does not see the mouse.[(triple5)] The dog eats the bald eagle.[(triple2)] The dog is not round.[(triple3)] The dog sees the bald eagle.[(triple4)] The dog visits the mouse.[(triple6)] The mouse eats the bald eagle.[(triple7)] The mouse is not young.[(triple8)] The mouse sees the dog.[(triple9)] The mouse visits the bald eagle.[(triple10)] @1: The dog does not see the dog.[(((triple4) -> rule2))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The dog does not see the mouse.
("dog" "sees" "mouse" "-")
triple5
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple2
The dog is not round.
("dog" "is" "round" "-")
triple3
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple4
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple6
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple7
The mouse is not young.
("mouse" "is" "young" "-")
triple8
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple9
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple10
The dog does not see the dog.
("dog" "sees" "dog" "-")
((triple4) -> (rule2 % int1))
The dog does not see the dog.
("dog" "sees" "dog" "-")
int1