The bald eagle eats the dog. The bald eagle eats the mouse. The bald eagle is round. The bald eagle needs the dog. The bald eagle visits the dog. The bald eagle visits the mouse. The dog eats the mouse. The mouse is round. The mouse visits the bald eagle. The mouse visits the dog. If the mouse visits the bald eagle then the bald eagle is kind. If someone is round and they visit the bald eagle then the bald eagle needs the dog.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If the mouse visits the bald eagle then the bald eagle is kind.
((("mouse" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
If someone is round and they visit the bald eagle then the bald eagle needs the dog.
((("someone" "is" "round" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "needs" "dog" "+"))
The bald eagle eats the dog.
True
1
proof
[(triple1)]
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle does not need the dog.
False
1
inv-proof
[(triple4 OR ((triple8 triple9) -> rule2))]
("bald eagle" "needs" "dog" "-")
triple4
((triple8 triple9) -> (rule2 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The mouse does not eat the dog.
Unknown
inv-random
[@0: The mouse eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "dog" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle needs the dog.[(triple4 OR ((triple8 triple9) -> rule2))] The bald eagle visits the dog.[(triple5)] The bald eagle visits the mouse.[(triple6)] The dog eats the mouse.[(triple7)] The mouse is round.[(triple8)] The mouse visits the bald eagle.[(triple9)] The mouse visits the dog.[(triple10)] @1: The bald eagle is kind.[(((triple9) -> rule1))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
((triple8 triple9) -> (rule2 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple5
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple6
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple7
The mouse is round.
("mouse" "is" "round" "+")
triple8
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple9
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple10
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple9) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1