The bald eagle eats the cat. The bald eagle eats the dog. The bald eagle is kind. The bald eagle likes the cat. The bald eagle likes the dog. The bald eagle does not visit the cat. The cat does not eat the bald eagle. The cat eats the dog. The cat does not like the dog. The cat visits the bald eagle. The cat visits the dog. The dog eats the bald eagle. The dog eats the cat. The dog likes the bald eagle. The dog visits the cat. If someone eats the bald eagle then the bald eagle likes the dog. If someone likes the bald eagle then the bald eagle is big.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
The cat does not eat the bald eagle.
("cat" "eats" "bald eagle" "-")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat does not like the dog.
("cat" "likes" "dog" "-")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
If someone eats the bald eagle then the bald eagle likes the dog.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "likes" "dog" "+"))
If someone likes the bald eagle then the bald eagle is big.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
The dog likes the bald eagle.
True
1
proof
[(triple14)]
("dog" "likes" "bald eagle" "+")
triple14
The dog does not like the bald eagle.
False
1
inv-proof
[(triple14)]
("dog" "likes" "bald eagle" "-")
triple14
The bald eagle is big.
True
2
proof
[(((triple14) -> rule2))]
("bald eagle" "is" "big" "+")
((triple14) -> (rule2 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is not big.
False
2
inv-proof
[(((triple14) -> rule2))]
("bald eagle" "is" "big" "-")
((triple14) -> (rule2 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The cat is not nice.
Unknown
inv-random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "-")
The dog likes the cat.
Unknown
random
[@0: The dog likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "cat" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The dog visits the bald eagle.
Unknown
random
[@0: The dog visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "bald eagle" "+")
@0: The bald eagle does not visit the cat.[(triple6)] The bald eagle eats the cat.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle likes the cat.[(triple4)] The bald eagle likes the dog.[(triple5 OR ((triple12) -> rule1))] The cat does not eat the bald eagle.[(triple7)] The cat does not like the dog.[(triple9)] The cat eats the dog.[(triple8)] The cat visits the bald eagle.[(triple10)] The cat visits the dog.[(triple11)] The dog eats the bald eagle.[(triple12)] The dog eats the cat.[(triple13)] The dog likes the bald eagle.[(triple14)] The dog visits the cat.[(triple15)] @1: The bald eagle is big.[(((triple14) -> rule2))]
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
triple6
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple4
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple5
((triple12) -> (rule1 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The cat does not eat the bald eagle.
("cat" "eats" "bald eagle" "-")
triple7
The cat does not like the dog.
("cat" "likes" "dog" "-")
triple9
The cat eats the dog.
("cat" "eats" "dog" "+")
triple8
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple10
The cat visits the dog.
("cat" "visits" "dog" "+")
triple11
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple12
The dog eats the cat.
("dog" "eats" "cat" "+")
triple13
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple14
The dog visits the cat.
("dog" "visits" "cat" "+")
triple15
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple14) -> (rule2 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1