The bald eagle chases the cat. The bald eagle does not chase the dog. The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle likes the cat. The cat chases the bald eagle. The cat eats the bald eagle. The cat eats the dog. The cat is big. The cat is not blue. The cat likes the bald eagle. The dog chases the bald eagle. The dog does not eat the bald eagle. The dog is big. If someone is blue and they like the dog then they are not green. If someone chases the bald eagle and the bald eagle does not like the cat then the bald eagle eats the cat. If someone chases the cat then they eat the bald eagle. If the cat does not like the dog then the dog eats the cat. If someone chases the cat and they are not blue then they eat the cat. If the bald eagle is round then the bald eagle eats the dog. If the bald eagle chases the dog then the dog chases the cat. If someone chases the bald eagle then they are round.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is not blue.
("cat" "is" "blue" "-")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
The dog is big.
("dog" "is" "big" "+")
If someone is blue and they like the dog then they are not green.
((("someone" "is" "blue" "+") ("someone" "likes" "dog" "+")) -> ("someone" "is" "green" "-"))
If someone chases the bald eagle and the bald eagle does not like the cat then the bald eagle eats the cat.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "likes" "cat" "~")) -> ("bald eagle" "eats" "cat" "+"))
If someone chases the cat then they eat the bald eagle.
((("someone" "chases" "cat" "+")) -> ("someone" "eats" "bald eagle" "+"))
If the cat does not like the dog then the dog eats the cat.
((("cat" "likes" "dog" "~")) -> ("dog" "eats" "cat" "+"))
If someone chases the cat and they are not blue then they eat the cat.
((("someone" "chases" "cat" "+") ("someone" "is" "blue" "~")) -> ("someone" "eats" "cat" "+"))
If the bald eagle is round then the bald eagle eats the dog.
((("bald eagle" "is" "round" "+")) -> ("bald eagle" "eats" "dog" "+"))
If the bald eagle chases the dog then the dog chases the cat.
((("bald eagle" "chases" "dog" "+")) -> ("dog" "chases" "cat" "+"))
If someone chases the bald eagle then they are round.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "round" "+"))
The cat likes the bald eagle.
True
1
proof
[(triple12)]
("cat" "likes" "bald eagle" "+")
triple12
The cat does not eat the bald eagle.
False
1
inv-proof
[(triple8)]
("cat" "eats" "bald eagle" "-")
triple8
The dog is round.
True
2
proof
[(((triple13) -> rule8))]
("dog" "is" "round" "+")
((triple13) -> (rule8 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The bald eagle does not eat the bald eagle.
False
2
inv-proof
[(((triple1) -> rule3))]
("bald eagle" "eats" "bald eagle" "-")
((triple1) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The dog does not eat the cat.
Unknown
inv-rconc
[@1: The dog eats the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "eats" "cat" "-")
The bald eagle eats the dog.
Unknown
rconc
[@2: The bald eagle eats the dog.[CWA. Example of deepest failure = (rule6 <- rule8 <- FAIL)]]
("bald eagle" "eats" "dog" "+")
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The bald eagle likes the dog.
Unknown
random
[@0: The bald eagle likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "dog" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not chase the dog.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is blue.[(triple4)] The bald eagle is green.[(triple5)] The bald eagle likes the cat.[(triple6)] The cat chases the bald eagle.[(triple7)] The cat eats the bald eagle.[(triple8)] The cat eats the dog.[(triple9)] The cat is big.[(triple10)] The cat is not blue.[(triple11)] The cat likes the bald eagle.[(triple12)] The dog chases the bald eagle.[(triple13)] The dog does not eat the bald eagle.[(triple14)] The dog is big.[(triple15)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule3))] The cat is round.[(((triple7) -> rule8))] The dog is round.[(((triple13) -> rule8))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple4
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple5
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple6
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple7
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple8
The cat eats the dog.
("cat" "eats" "dog" "+")
triple9
The cat is big.
("cat" "is" "big" "+")
triple10
The cat is not blue.
("cat" "is" "blue" "-")
triple11
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple12
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple13
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
triple14
The dog is big.
("dog" "is" "big" "+")
triple15
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The cat is round.
("cat" "is" "round" "+")
((triple7) -> (rule8 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
((triple13) -> (rule8 % int1))
The dog is round.
("dog" "is" "round" "+")
int1