The bald eagle is not big. The bald eagle is nice. The bald eagle is round. The bald eagle does not like the bear. The bald eagle visits the bear. The bear eats the dog. The bear likes the dog. The bear visits the bald eagle. The dog is not nice. The dog is young. The dog likes the bald eagle. The dog visits the bald eagle. If someone eats the dog then the dog is big. If someone likes the dog and the dog likes the bald eagle then they like the bear. If someone likes the bear then they do not eat the bald eagle.
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The dog is not nice.
("dog" "is" "nice" "-")
The dog is young.
("dog" "is" "young" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
If someone eats the dog then the dog is big.
((("someone" "eats" "dog" "+")) -> ("dog" "is" "big" "+"))
If someone likes the dog and the dog likes the bald eagle then they like the bear.
((("someone" "likes" "dog" "+") ("dog" "likes" "bald eagle" "+")) -> ("someone" "likes" "bear" "+"))
If someone likes the bear then they do not eat the bald eagle.
((("someone" "likes" "bear" "+")) -> ("someone" "eats" "bald eagle" "-"))
The dog likes the bald eagle.
True
1
proof
[(triple11)]
("dog" "likes" "bald eagle" "+")
triple11
The bear does not visit the bald eagle.
False
1
inv-proof
[(triple8)]
("bear" "visits" "bald eagle" "-")
triple8
The bear likes the bear.
True
3
proof
[(((triple7 triple11) -> rule2))]
("bear" "likes" "bear" "+")
((triple7 triple11) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The dog is not big.
False
2
inv-proof
[(((triple6) -> rule1))]
("dog" "is" "big" "-")
((triple6) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The bear does not eat the bald eagle.
True
4
proof
[(((((triple7 triple11) -> rule2)) -> rule3))]
("bear" "eats" "bald eagle" "-")
((((triple7 triple11) -> (rule2 % int2))) -> (rule3 % int1))
The bear does not eat the bald eagle.
("bear" "eats" "bald eagle" "-")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear eats the bald eagle.
False
4
inv-proof
[(((((triple7 triple11) -> rule2)) -> rule3))]
("bear" "eats" "bald eagle" "+")
((((triple7 triple11) -> (rule2 % int2))) -> (rule3 % int1))
The bear does not eat the bald eagle.
("bear" "eats" "bald eagle" "-")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The dog does not like the bear.
Unknown
inv-rconc
[@1: The dog likes the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "likes" "bear" "-")
The bald eagle visits the dog.
Unknown
random
[@0: The bald eagle visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "dog" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The dog eats the bear.
Unknown
random
[@0: The dog eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bear" "+")
The bald eagle does not like the dog.
Unknown
inv-random
[@0: The bald eagle likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "dog" "-")
The bald eagle eats the bear.
Unknown
random
[@0: The bald eagle eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bear" "+")
@0: The bald eagle does not like the bear.[(triple4)] The bald eagle is nice.[(triple2)] The bald eagle is not big.[(triple1)] The bald eagle is round.[(triple3)] The bald eagle visits the bear.[(triple5)] The bear eats the dog.[(triple6)] The bear likes the dog.[(triple7)] The bear visits the bald eagle.[(triple8)] The dog is not nice.[(triple9)] The dog is young.[(triple10)] The dog likes the bald eagle.[(triple11)] The dog visits the bald eagle.[(triple12)] @1: The bear likes the bear.[(((triple7 triple11) -> rule2))] The dog is big.[(((triple6) -> rule1))] @2: The bear does not eat the bald eagle.[(((((triple7 triple11) -> rule2)) -> rule3))]
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
triple4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple5
The bear eats the dog.
("bear" "eats" "dog" "+")
triple6
The bear likes the dog.
("bear" "likes" "dog" "+")
triple7
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple8
The dog is not nice.
("dog" "is" "nice" "-")
triple9
The dog is young.
("dog" "is" "young" "+")
triple10
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple11
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple12
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple7 triple11) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The dog is big.
("dog" "is" "big" "+")
((triple6) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The bear does not eat the bald eagle.
("bear" "eats" "bald eagle" "-")
((((triple7 triple11) -> (rule2 % int2))) -> (rule3 % int1))
The bear does not eat the bald eagle.
("bear" "eats" "bald eagle" "-")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2