The bald eagle eats the cat. The bald eagle eats the dog. The bald eagle is young. The bear chases the bald eagle. The bear eats the cat. The bear is big. The bear is cold. The bear needs the dog. The cat chases the bear. The cat needs the bald eagle. The dog chases the bear. The dog eats the cat. The dog is big. The dog is young. The dog needs the bear. The dog needs the cat. If someone eats the bald eagle and they need the dog then they chase the bald eagle. If someone needs the cat and the cat needs the dog then the cat eats the bald eagle. If someone needs the cat then they eat the bald eagle. If the bear chases the bald eagle and the bald eagle needs the dog then the dog is cold. If someone chases the bear and the bear needs the bald eagle then the bear is blue. If the bear eats the cat then the cat needs the dog.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
If someone eats the bald eagle and they need the dog then they chase the bald eagle.
((("someone" "eats" "bald eagle" "+") ("someone" "needs" "dog" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone needs the cat and the cat needs the dog then the cat eats the bald eagle.
((("someone" "needs" "cat" "+") ("cat" "needs" "dog" "+")) -> ("cat" "eats" "bald eagle" "+"))
If someone needs the cat then they eat the bald eagle.
((("someone" "needs" "cat" "+")) -> ("someone" "eats" "bald eagle" "+"))
If the bear chases the bald eagle and the bald eagle needs the dog then the dog is cold.
((("bear" "chases" "bald eagle" "+") ("bald eagle" "needs" "dog" "+")) -> ("dog" "is" "cold" "+"))
If someone chases the bear and the bear needs the bald eagle then the bear is blue.
((("someone" "chases" "bear" "+") ("bear" "needs" "bald eagle" "+")) -> ("bear" "is" "blue" "+"))
If the bear eats the cat then the cat needs the dog.
((("bear" "eats" "cat" "+")) -> ("cat" "needs" "dog" "+"))
The cat chases the bear.
True
1
proof
[(triple9)]
("cat" "chases" "bear" "+")
triple9
The bald eagle does not eat the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "cat" "-")
triple1
The dog eats the bald eagle.
True
2
proof
[(((triple16) -> rule3))]
("dog" "eats" "bald eagle" "+")
((triple16) -> (rule3 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog does not eat the bald eagle.
False
2
inv-proof
[(((triple16) -> rule3))]
("dog" "eats" "bald eagle" "-")
((triple16) -> (rule3 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The cat eats the bald eagle.
True
4
proof
[(((triple16 ((triple5) -> rule6)) -> rule2))]
("cat" "eats" "bald eagle" "+")
((triple16 ((triple5) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
The cat does not eat the bald eagle.
False
4
inv-proof
[(((triple16 ((triple5) -> rule6)) -> rule2))]
("cat" "eats" "bald eagle" "-")
((triple16 ((triple5) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
The cat chases the bald eagle.
True
7
proof
[(((((triple16 ((triple5) -> rule6)) -> rule2) ((triple5) -> rule6)) -> rule1))]
("cat" "chases" "bald eagle" "+")
((((triple16 ((triple5) -> (rule6 % int3))) -> (rule2 % int2)) ((triple5) -> (rule6 % int3))) -> (rule1 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
The cat does not chase the bald eagle.
False
7
inv-proof
[(((((triple16 ((triple5) -> rule6)) -> rule2) ((triple5) -> rule6)) -> rule1))]
("cat" "chases" "bald eagle" "-")
((((triple16 ((triple5) -> (rule6 % int3))) -> (rule2 % int2)) ((triple5) -> (rule6 % int3))) -> (rule1 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
The dog is not cold.
Unknown
inv-rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "cold" "-")
The bear eats the bald eagle.
Unknown
rconc
[@1: The bear eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "eats" "bald eagle" "+")
The dog does not chase the bald eagle.
Unknown
inv-rconc
[@1: The dog chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The bear does not chase the cat.
Unknown
inv-random
[@0: The bear chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cat" "-")
The cat eats the dog.
Unknown
random
[@0: The cat eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "dog" "+")
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle is young.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear eats the cat.[(triple5)] The bear is big.[(triple6)] The bear is cold.[(triple7)] The bear needs the dog.[(triple8)] The cat chases the bear.[(triple9)] The cat needs the bald eagle.[(triple10)] The dog chases the bear.[(triple11)] The dog eats the cat.[(triple12)] The dog is big.[(triple13)] The dog is young.[(triple14)] The dog needs the bear.[(triple15)] The dog needs the cat.[(triple16)] @1: The cat needs the dog.[(((triple5) -> rule6))] The dog eats the bald eagle.[(((triple16) -> rule3))] @2: The cat eats the bald eagle.[(((triple16 ((triple5) -> rule6)) -> rule2))] @3: The cat chases the bald eagle.[(((((triple16 ((triple5) -> rule6)) -> rule2) ((triple5) -> rule6)) -> rule1))]
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 young.
("bald eagle" "is" "young" "+")
triple3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple4
The bear eats the cat.
("bear" "eats" "cat" "+")
triple5
The bear is big.
("bear" "is" "big" "+")
triple6
The bear is cold.
("bear" "is" "cold" "+")
triple7
The bear needs the dog.
("bear" "needs" "dog" "+")
triple8
The cat chases the bear.
("cat" "chases" "bear" "+")
triple9
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple10
The dog chases the bear.
("dog" "chases" "bear" "+")
triple11
The dog eats the cat.
("dog" "eats" "cat" "+")
triple12
The dog is big.
("dog" "is" "big" "+")
triple13
The dog is young.
("dog" "is" "young" "+")
triple14
The dog needs the bear.
("dog" "needs" "bear" "+")
triple15
The dog needs the cat.
("dog" "needs" "cat" "+")
triple16
The cat needs the dog.
("cat" "needs" "dog" "+")
((triple5) -> (rule6 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((triple16) -> (rule3 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
((triple16 ((triple5) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
((((triple16 ((triple5) -> (rule6 % int3))) -> (rule2 % int2)) ((triple5) -> (rule6 % int3))) -> (rule1 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3