The bald eagle chases the dog. The bald eagle does not need the dog. The cat does not chase the bald eagle. The cat chases the dog. The cat is young. The cat needs the bald eagle. The dog chases the cat. The dog is blue. The dog is kind. The dog is red. The dog is not young. The dog likes the bald eagle. The dog likes the cat. The dog needs the bald eagle. The dog needs the cat. If the dog is young and the dog chases the bald eagle then the dog needs the cat. If something is red and it likes the bald eagle then the bald eagle does not need the cat. If something is blue and it chases the dog then it is young. If something likes the cat then the cat chases the dog. If something needs the cat then the cat needs the bald eagle. If something likes the cat and it is young then it is red.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
The cat does not chase the bald eagle.
("cat" "chases" "bald eagle" "-")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is not young.
("dog" "is" "young" "-")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
If the dog is young and the dog chases the bald eagle then the dog needs the cat.
((("dog" "is" "young" "+") ("dog" "chases" "bald eagle" "+")) -> ("dog" "needs" "cat" "+"))
If something is red and it likes the bald eagle then the bald eagle does not need the cat.
((("something" "is" "red" "+") ("something" "likes" "bald eagle" "+")) -> ("bald eagle" "needs" "cat" "-"))
If something is blue and it chases the dog then it is young.
((("something" "is" "blue" "+") ("something" "chases" "dog" "+")) -> ("something" "is" "young" "+"))
If something likes the cat then the cat chases the dog.
((("something" "likes" "cat" "+")) -> ("cat" "chases" "dog" "+"))
If something needs the cat then the cat needs the bald eagle.
((("something" "needs" "cat" "+")) -> ("cat" "needs" "bald eagle" "+"))
If something likes the cat and it is young then it is red.
((("something" "likes" "cat" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
The dog needs the bald eagle.
True
1
proof
[(triple14)]
("dog" "needs" "bald eagle" "+")
triple14
The bald eagle needs the dog.
False
1
inv-proof
[(triple2)]
("bald eagle" "needs" "dog" "+")
triple2
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "young" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle does not need the dog.[(triple2)] The cat chases the dog.[(triple4 OR ((triple13) -> rule4))] The cat does not chase the bald eagle.[(triple3)] The cat is young.[(triple5)] The cat needs the bald eagle.[(triple6 OR ((triple15) -> rule5))] The dog chases the cat.[(triple7)] The dog is blue.[(triple8)] The dog is kind.[(triple9)] The dog is not young.[(triple11)] The dog is red.[(triple10)] The dog likes the bald eagle.[(triple12)] The dog likes the cat.[(triple13)] The dog needs the bald eagle.[(triple14)] The dog needs the cat.[(triple15)] @1: The bald eagle does not need the cat.[(((triple10 triple12) -> rule2))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
triple2
The cat chases the dog.
("cat" "chases" "dog" "+")
triple4
((triple13) -> (rule4 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat does not chase the bald eagle.
("cat" "chases" "bald eagle" "-")
triple3
The cat is young.
("cat" "is" "young" "+")
triple5
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple6
((triple15) -> (rule5 % int1))
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple8
The dog is kind.
("dog" "is" "kind" "+")
triple9
The dog is not young.
("dog" "is" "young" "-")
triple11
The dog is red.
("dog" "is" "red" "+")
triple10
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple12
The dog likes the cat.
("dog" "likes" "cat" "+")
triple13
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple14
The dog needs the cat.
("dog" "needs" "cat" "+")
triple15
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
((triple10 triple12) -> (rule2 % int1))
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
int1