The bald eagle chases the cat. The bald eagle chases the dog. The bald eagle is big. The cat chases the bald eagle. The cat is blue. The cat is not rough. The cat does not need the dog. The dog is not blue. The dog is rough. The dog needs the bald eagle. If someone needs the bald eagle and they are rough then the bald eagle needs the dog. If someone needs the cat then the cat chases the dog. If the cat likes the dog then the cat chases the dog. If the bald eagle chases the dog and the bald eagle is big then the bald eagle is green. If someone is green then they need the dog. If someone likes the bald eagle and they chase the bald eagle then the bald eagle is not rough. If someone likes the cat then they are big. If someone chases the bald eagle and the bald eagle is green then the bald eagle needs the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is not rough.
("cat" "is" "rough" "-")
The cat does not need the dog.
("cat" "needs" "dog" "-")
The dog is not blue.
("dog" "is" "blue" "-")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
If someone needs the bald eagle and they are rough then the bald eagle needs the dog.
((("someone" "needs" "bald eagle" "+") ("someone" "is" "rough" "+")) -> ("bald eagle" "needs" "dog" "+"))
If someone needs the cat then the cat chases the dog.
((("someone" "needs" "cat" "+")) -> ("cat" "chases" "dog" "+"))
If the cat likes the dog then the cat chases the dog.
((("cat" "likes" "dog" "+")) -> ("cat" "chases" "dog" "+"))
If the bald eagle chases the dog and the bald eagle is big then the bald eagle is green.
((("bald eagle" "chases" "dog" "+") ("bald eagle" "is" "big" "+")) -> ("bald eagle" "is" "green" "+"))
If someone is green then they need the dog.
((("someone" "is" "green" "+")) -> ("someone" "needs" "dog" "+"))
If someone likes the bald eagle and they chase the bald eagle then the bald eagle is not rough.
((("someone" "likes" "bald eagle" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "-"))
If someone likes the cat then they are big.
((("someone" "likes" "cat" "+")) -> ("someone" "is" "big" "+"))
If someone chases the bald eagle and the bald eagle is green then the bald eagle needs the cat.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "is" "green" "+")) -> ("bald eagle" "needs" "cat" "+"))
The bald eagle chases the dog.
True
1
proof
[(triple2)]
("bald eagle" "chases" "dog" "+")
triple2
The dog is blue.
False
1
inv-proof
[(triple8)]
("dog" "is" "blue" "+")
triple8
The bald eagle needs the dog.
True
3
proof
[(((triple10 triple9) -> rule1) OR ((((triple2 triple3) -> rule4)) -> rule5))]
("bald eagle" "needs" "dog" "+")
((triple10 triple9) -> (rule1 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
((((triple2 triple3) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle does not need the dog.
False
3
inv-proof
[(((triple10 triple9) -> rule1) OR ((((triple2 triple3) -> rule4)) -> rule5))]
("bald eagle" "needs" "dog" "-")
((triple10 triple9) -> (rule1 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
((((triple2 triple3) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "needs" "dog" "-")
The cat is big.
Unknown
rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "is" "big" "+")
The cat does not like the bald eagle.
Unknown
inv-random
[@0: The cat likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bald eagle" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the dog.[(triple2)] The bald eagle is big.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat does not need the dog.[(triple7)] The cat is blue.[(triple5)] The cat is not rough.[(triple6)] The dog is not blue.[(triple8)] The dog is rough.[(triple9)] The dog needs the bald eagle.[(triple10)] @1: The bald eagle is green.[(((triple2 triple3) -> rule4))] The bald eagle needs the dog.[(((triple10 triple9) -> rule1) OR ((((triple2 triple3) -> rule4)) -> rule5))] @2: The bald eagle needs the cat.[(((triple4 ((triple2 triple3) -> rule4)) -> rule8))] @3: The cat chases the dog.[(((((triple4 ((triple2 triple3) -> rule4)) -> rule8)) -> rule2))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat does not need the dog.
("cat" "needs" "dog" "-")
triple7
The cat is blue.
("cat" "is" "blue" "+")
triple5
The cat is not rough.
("cat" "is" "rough" "-")
triple6
The dog is not blue.
("dog" "is" "blue" "-")
triple8
The dog is rough.
("dog" "is" "rough" "+")
triple9
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple10
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple2 triple3) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
((triple10 triple9) -> (rule1 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
((((triple2 triple3) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
((triple4 ((triple2 triple3) -> (rule4 % int2))) -> (rule8 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The cat chases the dog.
("cat" "chases" "dog" "+")
((((triple4 ((triple2 triple3) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3