The bald eagle is young. The cat eats the cow. The cat is cold. The cat likes the dog. The cat does not need the bald eagle. The cat needs the cow. The cat does not need the dog. The cow does not eat the dog. The cow is not big. The cow is kind. The cow is nice. The cow likes the bald eagle. The cow likes the dog. The cow needs the cat. The dog eats the cow. The dog is cold. If something needs the cow then the cow needs the dog. If the bald eagle needs the dog and the bald eagle does not eat the dog then the dog needs the bald eagle.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat does not need the dog.
("cat" "needs" "dog" "-")
The cow does not eat the dog.
("cow" "eats" "dog" "-")
The cow is not big.
("cow" "is" "big" "-")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is cold.
("dog" "is" "cold" "+")
If something needs the cow then the cow needs the dog.
((("something" "needs" "cow" "+")) -> ("cow" "needs" "dog" "+"))
If the bald eagle needs the dog and the bald eagle does not eat the dog then the dog needs the bald eagle.
((("bald eagle" "needs" "dog" "+") ("bald eagle" "eats" "dog" "~")) -> ("dog" "needs" "bald eagle" "+"))
The cow is nice.
True
1
proof
[(triple11)]
("cow" "is" "nice" "+")
triple11
The cow does not need the cat.
False
1
inv-proof
[(triple14)]
("cow" "needs" "cat" "-")
triple14
The cow needs the dog.
True
2
proof
[(((triple6) -> rule1))]
("cow" "needs" "dog" "+")
((triple6) -> (rule1 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
The cow does not need the dog.
False
2
inv-proof
[(((triple6) -> rule1))]
("cow" "needs" "dog" "-")
((triple6) -> (rule1 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
The dog does not need the bald eagle.
Unknown
inv-rconc
[@1: The dog needs the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "bald eagle" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The bald eagle does not eat the dog.
Unknown
inv-random
[@0: The bald eagle eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "dog" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
@0: The bald eagle is young.[(triple1)] The cat does not need the bald eagle.[(triple5)] The cat does not need the dog.[(triple7)] The cat eats the cow.[(triple2)] The cat is cold.[(triple3)] The cat likes the dog.[(triple4)] The cat needs the cow.[(triple6)] The cow does not eat the dog.[(triple8)] The cow is kind.[(triple10)] The cow is nice.[(triple11)] The cow is not big.[(triple9)] The cow likes the bald eagle.[(triple12)] The cow likes the dog.[(triple13)] The cow needs the cat.[(triple14)] The dog eats the cow.[(triple15)] The dog is cold.[(triple16)] @1: The cow needs the dog.[(((triple6) -> rule1))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
triple5
The cat does not need the dog.
("cat" "needs" "dog" "-")
triple7
The cat eats the cow.
("cat" "eats" "cow" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat likes the dog.
("cat" "likes" "dog" "+")
triple4
The cat needs the cow.
("cat" "needs" "cow" "+")
triple6
The cow does not eat the dog.
("cow" "eats" "dog" "-")
triple8
The cow is kind.
("cow" "is" "kind" "+")
triple10
The cow is nice.
("cow" "is" "nice" "+")
triple11
The cow is not big.
("cow" "is" "big" "-")
triple9
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple12
The cow likes the dog.
("cow" "likes" "dog" "+")
triple13
The cow needs the cat.
("cow" "needs" "cat" "+")
triple14
The dog eats the cow.
("dog" "eats" "cow" "+")
triple15
The dog is cold.
("dog" "is" "cold" "+")
triple16
The cow needs the dog.
("cow" "needs" "dog" "+")
((triple6) -> (rule1 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1