The bald eagle eats the bear. The bald eagle is big. The bald eagle is not red. The bald eagle is not round. The bald eagle needs the bear. The bald eagle needs the dog. The bald eagle sees the bear. The bald eagle sees the dog. The bear eats the bald eagle. The bear needs the bald eagle. The dog eats the bald eagle. The dog needs the bald eagle. The dog needs the bear. The dog sees the bald eagle. The dog sees the bear. If the bald eagle sees the bear and the bear sees the dog then the dog needs the bear. If someone is cold and they eat the dog then they do not need the dog. If someone eats the bald eagle then the bald eagle sees the dog. If someone eats the bald eagle and they are not round then the bald eagle is nice. If someone sees the bald eagle and they do not need the dog then they are not nice. If someone eats the bald eagle and they see the bald eagle then they are nice.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
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 needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
If the bald eagle sees the bear and the bear sees the dog then the dog needs the bear.
((("bald eagle" "sees" "bear" "+") ("bear" "sees" "dog" "+")) -> ("dog" "needs" "bear" "+"))
If someone is cold and they eat the dog then they do not need the dog.
((("someone" "is" "cold" "+") ("someone" "eats" "dog" "+")) -> ("someone" "needs" "dog" "-"))
If someone eats the bald eagle then the bald eagle sees the dog.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "sees" "dog" "+"))
If someone eats the bald eagle and they are not round then the bald eagle is nice.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "round" "~")) -> ("bald eagle" "is" "nice" "+"))
If someone sees the bald eagle and they do not need the dog then they are not nice.
((("someone" "sees" "bald eagle" "+") ("someone" "needs" "dog" "~")) -> ("someone" "is" "nice" "-"))
If someone eats the bald eagle and they see the bald eagle then they are nice.
((("someone" "eats" "bald eagle" "+") ("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "nice" "+"))
The dog eats the bald eagle.
True
1
proof
[(triple11)]
("dog" "eats" "bald eagle" "+")
triple11
The dog does not eat the bald eagle.
False
1
inv-proof
[(triple11)]
("dog" "eats" "bald eagle" "-")
triple11
The dog is nice.
True
3
proof
[(((triple11 triple14) -> rule6))]
("dog" "is" "nice" "+")
((triple11 triple14) -> (rule6 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is not nice.
False
3
inv-proof
[(((triple11 triple14) -> rule6))]
("dog" "is" "nice" "-")
((triple11 triple14) -> (rule6 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The bear is nice.
Unknown
rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "nice" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is not red.[(triple3)] The bald eagle is not round.[(triple4)] The bald eagle needs the bear.[(triple5)] The bald eagle needs the dog.[(triple6)] The bald eagle sees the bear.[(triple7)] The bald eagle sees the dog.[(triple8 OR ((triple11) -> rule3) OR ((triple9) -> rule3))] The bear eats the bald eagle.[(triple9)] The bear needs the bald eagle.[(triple10)] The dog eats the bald eagle.[(triple11)] The dog needs the bald eagle.[(triple12)] The dog needs the bear.[(triple13)] The dog sees the bald eagle.[(triple14)] The dog sees the bear.[(triple15)] @1: The dog is nice.[(((triple11 triple14) -> rule6))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple3
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple4
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple5
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple6
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple7
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple8
((triple11) -> (rule3 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
((triple9) -> (rule3 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple9
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple10
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple11
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple12
The dog needs the bear.
("dog" "needs" "bear" "+")
triple13
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple14
The dog sees the bear.
("dog" "sees" "bear" "+")
triple15
The dog is nice.
("dog" "is" "nice" "+")
((triple11 triple14) -> (rule6 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1