The bald eagle eats the dog. The bald eagle is young. The bald eagle visits the dog. The bear eats the bald eagle. The bear eats the mouse. The bear is cold. The bear needs the bald eagle. The dog eats the bear. The dog eats the mouse. The dog is green. The dog is young. The dog visits the bear. The dog visits the mouse. The mouse eats the bald eagle. The mouse is young. If someone is big then they visit the bear. If the bear needs the bald eagle then the bald eagle needs the bear.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is young.
("dog" "is" "young" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is young.
("mouse" "is" "young" "+")
If someone is big then they visit the bear.
((("someone" "is" "big" "+")) -> ("someone" "visits" "bear" "+"))
If the bear needs the bald eagle then the bald eagle needs the bear.
((("bear" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "bear" "+"))
The mouse is young.
True
1
proof
[(triple15)]
("mouse" "is" "young" "+")
triple15
The dog is not young.
False
1
inv-proof
[(triple11)]
("dog" "is" "young" "-")
triple11
The bald eagle needs the bear.
True
2
proof
[(((triple7) -> rule2))]
("bald eagle" "needs" "bear" "+")
((triple7) -> (rule2 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle does not need the bear.
False
2
inv-proof
[(((triple7) -> rule2))]
("bald eagle" "needs" "bear" "-")
((triple7) -> (rule2 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bear does not visit the bear.
Unknown
inv-rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "bear" "-")
The mouse visits the bear.
Unknown
rconc
[@1: The mouse visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "bear" "+")
The bald eagle does not eat the mouse.
Unknown
inv-random
[@0: The bald eagle eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "mouse" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle visits the dog.[(triple3)] The bear eats the bald eagle.[(triple4)] The bear eats the mouse.[(triple5)] The bear is cold.[(triple6)] The bear needs the bald eagle.[(triple7)] The dog eats the bear.[(triple8)] The dog eats the mouse.[(triple9)] The dog is green.[(triple10)] The dog is young.[(triple11)] The dog visits the bear.[(triple12)] The dog visits the mouse.[(triple13)] The mouse eats the bald eagle.[(triple14)] The mouse is young.[(triple15)] @1: The bald eagle needs the bear.[(((triple7) -> rule2))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple3
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple4
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple5
The bear is cold.
("bear" "is" "cold" "+")
triple6
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple7
The dog eats the bear.
("dog" "eats" "bear" "+")
triple8
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple9
The dog is green.
("dog" "is" "green" "+")
triple10
The dog is young.
("dog" "is" "young" "+")
triple11
The dog visits the bear.
("dog" "visits" "bear" "+")
triple12
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple13
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple14
The mouse is young.
("mouse" "is" "young" "+")
triple15
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
((triple7) -> (rule2 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1