The bald eagle eats the bear. The bald eagle is rough. The bear eats the dog. The bear eats the mouse. The bear is young. The bear likes the bald eagle. The bear likes the mouse. The bear visits the bald eagle. The bear visits the dog. The dog likes the bald eagle. The mouse is rough. The mouse visits the dog. If someone eats the bear then they visit the bald eagle. If someone eats the dog and they eat the mouse then the mouse likes the bear. If the bald eagle likes the bear and the bald eagle eats the bear then the bald eagle is young. If someone is red then they are young. If someone likes the mouse and they eat the bald eagle then the mouse is young. If someone likes the bear then the bear likes the bald eagle.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If someone eats the bear then they visit the bald eagle.
((("someone" "eats" "bear" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone eats the dog and they eat the mouse then the mouse likes the bear.
((("someone" "eats" "dog" "+") ("someone" "eats" "mouse" "+")) -> ("mouse" "likes" "bear" "+"))
If the bald eagle likes the bear and the bald eagle eats the bear then the bald eagle is young.
((("bald eagle" "likes" "bear" "+") ("bald eagle" "eats" "bear" "+")) -> ("bald eagle" "is" "young" "+"))
If someone is red then they are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone likes the mouse and they eat the bald eagle then the mouse is young.
((("someone" "likes" "mouse" "+") ("someone" "eats" "bald eagle" "+")) -> ("mouse" "is" "young" "+"))
If someone likes the bear then the bear likes the bald eagle.
((("someone" "likes" "bear" "+")) -> ("bear" "likes" "bald eagle" "+"))
The bald eagle is rough.
True
1
proof
[(triple2)]
("bald eagle" "is" "rough" "+")
triple2
The bear does not like the mouse.
False
1
inv-proof
[(triple7)]
("bear" "likes" "mouse" "-")
triple7
The mouse likes the bear.
True
3
proof
[(((triple3 triple4) -> rule2))]
("mouse" "likes" "bear" "+")
((triple3 triple4) -> (rule2 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The mouse does not like the bear.
False
3
inv-proof
[(((triple3 triple4) -> rule2))]
("mouse" "likes" "bear" "-")
((triple3 triple4) -> (rule2 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The mouse is not young.
Unknown
inv-rconc
[@1: The mouse is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "is" "young" "-")
The bald eagle is young.
Unknown
rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "young" "+")
The dog does not like the bear.
Unknown
inv-random
[@0: The dog likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bear" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is rough.[(triple2)] The bear eats the dog.[(triple3)] The bear eats the mouse.[(triple4)] The bear is young.[(triple5)] The bear likes the bald eagle.[(triple6 OR ((((triple3 triple4) -> rule2)) -> rule6))] The bear likes the mouse.[(triple7)] The bear visits the bald eagle.[(triple8)] The bear visits the dog.[(triple9)] The dog likes the bald eagle.[(triple10)] The mouse is rough.[(triple11)] The mouse visits the dog.[(triple12)] @1: The bald eagle visits the bald eagle.[(((triple1) -> rule1))] The mouse likes the bear.[(((triple3 triple4) -> rule2))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bear eats the dog.
("bear" "eats" "dog" "+")
triple3
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple6
((((triple3 triple4) -> (rule2 % int2))) -> (rule6 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple7
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple8
The bear visits the dog.
("bear" "visits" "dog" "+")
triple9
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple10
The mouse is rough.
("mouse" "is" "rough" "+")
triple11
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple12
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
((triple3 triple4) -> (rule2 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1