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