The bald eagle eats the rabbit. The bald eagle is big. The bald eagle is young. The bear eats the dog. The bear sees the bald eagle. The bear sees the dog. The dog eats the bald eagle. The dog eats the bear. The dog visits the bald eagle. The rabbit visits the bear. If someone visits the rabbit and they are young then the rabbit sees the bald eagle. If someone sees the rabbit and they visit the bald eagle then the bald eagle eats the rabbit. If someone sees the bald eagle and they are blue then they eat the bear. If someone sees the bald eagle then the bald eagle is young. If someone eats the bear and they are cold then they eat the dog. If the dog is young and the dog visits the rabbit then the dog sees the bear. If someone eats the bear then they are big. If the rabbit is young and the rabbit is big then the rabbit visits the bear.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If someone visits the rabbit and they are young then the rabbit sees the bald eagle.
((("someone" "visits" "rabbit" "+") ("someone" "is" "young" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
If someone sees the rabbit and they visit the bald eagle then the bald eagle eats the rabbit.
((("someone" "sees" "rabbit" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
If someone sees the bald eagle and they are blue then they eat the bear.
((("someone" "sees" "bald eagle" "+") ("someone" "is" "blue" "+")) -> ("someone" "eats" "bear" "+"))
If someone sees the bald eagle then the bald eagle is young.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
If someone eats the bear and they are cold then they eat the dog.
((("someone" "eats" "bear" "+") ("someone" "is" "cold" "+")) -> ("someone" "eats" "dog" "+"))
If the dog is young and the dog visits the rabbit then the dog sees the bear.
((("dog" "is" "young" "+") ("dog" "visits" "rabbit" "+")) -> ("dog" "sees" "bear" "+"))
If someone eats the bear then they are big.
((("someone" "eats" "bear" "+")) -> ("someone" "is" "big" "+"))
If the rabbit is young and the rabbit is big then the rabbit visits the bear.
((("rabbit" "is" "young" "+") ("rabbit" "is" "big" "+")) -> ("rabbit" "visits" "bear" "+"))
The dog visits the bald eagle.
True
1
proof
[(triple9)]
("dog" "visits" "bald eagle" "+")
triple9
The dog does not eat the bear.
False
1
inv-proof
[(triple8)]
("dog" "eats" "bear" "-")
triple8
The dog is big.
True
2
proof
[(((triple8) -> rule7))]
("dog" "is" "big" "+")
((triple8) -> (rule7 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is not big.
False
2
inv-proof
[(((triple8) -> rule7))]
("dog" "is" "big" "-")
((triple8) -> (rule7 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "eats" "bear" "-")
The bald eagle eats the bear.
Unknown
rconc
[@1: The bald eagle eats the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "eats" "bear" "+")
The bear does not visit the rabbit.
Unknown
inv-random
[@0: The bear visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "rabbit" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is young.[(triple3 OR ((triple5) -> rule4))] The bear eats the dog.[(triple4)] The bear sees the bald eagle.[(triple5)] The bear sees the dog.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog eats the bear.[(triple8)] The dog visits the bald eagle.[(triple9)] The rabbit visits the bear.[(triple10)] @1: The dog is big.[(((triple8) -> rule7))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
((triple5) -> (rule4 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
triple4
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple5
The bear sees the dog.
("bear" "sees" "dog" "+")
triple6
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple7
The dog eats the bear.
("dog" "eats" "bear" "+")
triple8
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple9
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple10
The dog is big.
("dog" "is" "big" "+")
((triple8) -> (rule7 % int1))
The dog is big.
("dog" "is" "big" "+")
int1