The bald eagle does not chase the squirrel. The bald eagle does not eat the mouse. The dog does not chase the mouse. The dog is big. The dog visits the bald eagle. The mouse chases the bald eagle. The mouse visits the dog. The squirrel chases the bald eagle. The squirrel chases the mouse. The squirrel eats the bald eagle. The squirrel is rough. The squirrel visits the mouse. If someone chases the bald eagle then they are kind. If someone chases the squirrel and they are big then the squirrel does not visit the mouse. If the bald eagle does not visit the squirrel and the bald eagle does not chase the mouse then the bald eagle does not eat the mouse.
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
The dog does not chase the mouse.
("dog" "chases" "mouse" "-")
The dog is big.
("dog" "is" "big" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone chases the bald eagle then they are kind.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "kind" "+"))
If someone chases the squirrel and they are big then the squirrel does not visit the mouse.
((("someone" "chases" "squirrel" "+") ("someone" "is" "big" "+")) -> ("squirrel" "visits" "mouse" "-"))
If the bald eagle does not visit the squirrel and the bald eagle does not chase the mouse then the bald eagle does not eat the mouse.
((("bald eagle" "visits" "squirrel" "~") ("bald eagle" "chases" "mouse" "~")) -> ("bald eagle" "eats" "mouse" "-"))
The squirrel eats the bald eagle.
True
1
proof
[(triple10)]
("squirrel" "eats" "bald eagle" "+")
triple10
The squirrel does not eat the bald eagle.
False
1
inv-proof
[(triple10)]
("squirrel" "eats" "bald eagle" "-")
triple10
The mouse is kind.
True
2
proof
[(((triple6) -> rule1))]
("mouse" "is" "kind" "+")
((triple6) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The squirrel is not kind.
False
2
inv-proof
[(((triple8) -> rule1))]
("squirrel" "is" "kind" "-")
((triple8) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The dog is kind.
Unknown
rconc
[@1: The dog is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "kind" "+")
The mouse does not visit the bald eagle.
Unknown
inv-random
[@0: The mouse visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bald eagle" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The bald eagle does not chase the squirrel.[(triple1)] The bald eagle does not eat the mouse.[(triple2)] The dog does not chase the mouse.[(triple3)] The dog is big.[(triple4)] The dog visits the bald eagle.[(triple5)] The mouse chases the bald eagle.[(triple6)] The mouse visits the dog.[(triple7)] The squirrel chases the bald eagle.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel eats the bald eagle.[(triple10)] The squirrel is rough.[(triple11)] The squirrel visits the mouse.[(triple12)] @1: The mouse is kind.[(((triple6) -> rule1))] The squirrel is kind.[(((triple8) -> rule1))]
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
triple1
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
triple2
The dog does not chase the mouse.
("dog" "chases" "mouse" "-")
triple3
The dog is big.
("dog" "is" "big" "+")
triple4
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple5
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple6
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple7
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple8
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple9
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple11
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple12
The mouse is kind.
("mouse" "is" "kind" "+")
((triple6) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple8) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1