The bald eagle eats the dog. The bald eagle is big. The bald eagle is red. The bald eagle sees the bear. The bald eagle sees the dog. The bear eats the bald eagle. The bear sees the bald eagle. The bear sees the dog. The dog is kind. The dog is red. The dog is round. The dog needs the bear. If something eats the dog and it eats the bald eagle then the dog needs the bald eagle. If something sees the bald eagle and the bald eagle does not eat the dog then it sees the dog. If something eats the dog then it is big. If the dog eats the bald eagle and the dog eats the bear then the dog does not need the bear. If something eats the bear and it needs the bald eagle then the bald eagle eats the bear. If something eats the dog and the dog sees the bald eagle then the bald eagle is big. If something eats the bald eagle then the bald eagle sees the dog. If something sees the dog and the dog does not need the bald eagle then the bald eagle needs the bear.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
If something eats the dog and it eats the bald eagle then the dog needs the bald eagle.
((("something" "eats" "dog" "+") ("something" "eats" "bald eagle" "+")) -> ("dog" "needs" "bald eagle" "+"))
If something sees the bald eagle and the bald eagle does not eat the dog then it sees the dog.
((("something" "sees" "bald eagle" "+") ("bald eagle" "eats" "dog" "~")) -> ("something" "sees" "dog" "+"))
If something eats the dog then it is big.
((("something" "eats" "dog" "+")) -> ("something" "is" "big" "+"))
If the dog eats the bald eagle and the dog eats the bear then the dog does not need the bear.
((("dog" "eats" "bald eagle" "+") ("dog" "eats" "bear" "+")) -> ("dog" "needs" "bear" "-"))
If something eats the bear and it needs the bald eagle then the bald eagle eats the bear.
((("something" "eats" "bear" "+") ("something" "needs" "bald eagle" "+")) -> ("bald eagle" "eats" "bear" "+"))
If something eats the dog and the dog sees the bald eagle then the bald eagle is big.
((("something" "eats" "dog" "+") ("dog" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
If something eats the bald eagle then the bald eagle sees the dog.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "sees" "dog" "+"))
If something sees the dog and the dog does not need the bald eagle then the bald eagle needs the bear.
((("something" "sees" "dog" "+") ("dog" "needs" "bald eagle" "~")) -> ("bald eagle" "needs" "bear" "+"))
The bald eagle is red.
True
1
proof
[(triple3)]
("bald eagle" "is" "red" "+")
triple3
The bald eagle does not eat the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "dog" "-")
triple1
The bald eagle does not need the bear.
Unknown
inv-rconc
[@1: The bald eagle needs the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "needs" "bear" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is big.[(triple2 OR ((triple1) -> rule3))] The bald eagle is red.[(triple3)] The bald eagle sees the bear.[(triple4)] The bald eagle sees the dog.[(triple5 OR ((triple6) -> rule7))] The bear eats the bald eagle.[(triple6)] The bear sees the bald eagle.[(triple7)] The bear sees the dog.[(triple8)] The dog is kind.[(triple9)] The dog is red.[(triple10)] The dog is round.[(triple11)] The dog needs the bear.[(triple12)]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
((triple1) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple4
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple5
((triple6) -> (rule7 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple6
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple7
The bear sees the dog.
("bear" "sees" "dog" "+")
triple8
The dog is kind.
("dog" "is" "kind" "+")
triple9
The dog is red.
("dog" "is" "red" "+")
triple10
The dog is round.
("dog" "is" "round" "+")
triple11
The dog needs the bear.
("dog" "needs" "bear" "+")
triple12