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