The bald eagle is nice. The bald eagle needs the bear. The bald eagle visits the bear. The bear eats the bald eagle. The bear is big. The bear needs the bald eagle. The bear visits the dog. The dog eats the bear. The dog does not need the bear. The dog visits the bald eagle. If something eats the bear then it eats the bald eagle. If something is cold then it eats the bear. If something visits the bald eagle then the bald eagle is cold. If something visits the bald eagle then the bald eagle is big. If something eats the bald eagle and the bald eagle does not eat the dog then it is nice. If the dog needs the bald eagle then the bald eagle visits the dog.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is big.
("bear" "is" "big" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog does not need the bear.
("dog" "needs" "bear" "-")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
If something eats the bear then it eats the bald eagle.
((("something" "eats" "bear" "+")) -> ("something" "eats" "bald eagle" "+"))
If something is cold then it eats the bear.
((("something" "is" "cold" "+")) -> ("something" "eats" "bear" "+"))
If something visits the bald eagle then the bald eagle is cold.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If something visits the bald eagle then the bald eagle is big.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
If something eats the bald eagle and the bald eagle does not eat the dog then it is nice.
((("something" "eats" "bald eagle" "+") ("bald eagle" "eats" "dog" "~")) -> ("something" "is" "nice" "+"))
If the dog needs the bald eagle then the bald eagle visits the dog.
((("dog" "needs" "bald eagle" "+")) -> ("bald eagle" "visits" "dog" "+"))
The bear visits the dog.
True
1
proof
[(triple7)]
("bear" "visits" "dog" "+")
triple7
The dog does not visit the bald eagle.
False
1
inv-proof
[(triple10)]
("dog" "visits" "bald eagle" "-")
triple10
The bald eagle is big.
True
2
proof
[(((triple10) -> rule4))]
("bald eagle" "is" "big" "+")
((triple10) -> (rule4 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is not cold.
False
2
inv-proof
[(((triple10) -> rule3))]
("bald eagle" "is" "cold" "-")
((triple10) -> (rule3 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle eats the bear.
True
3
proof
[(((((triple10) -> rule3)) -> rule2))]
("bald eagle" "eats" "bear" "+")
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle does not eat the bear.
False
3
inv-proof
[(((((triple10) -> rule3)) -> rule2))]
("bald eagle" "eats" "bear" "-")
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle eats the bald eagle.
True
4
proof
[(((((((triple10) -> rule3)) -> rule2)) -> rule1))]
("bald eagle" "eats" "bald eagle" "+")
((((((triple10) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle does not eat the bald eagle.
False
4
inv-proof
[(((((((triple10) -> rule3)) -> rule2)) -> rule1))]
("bald eagle" "eats" "bald eagle" "-")
((((((triple10) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "is" "nice" "-")
The bear eats the bear.
Unknown
rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "eats" "bear" "+")
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "nice" "-")
The bald eagle visits the dog.
Unknown
rconc
[@1: The bald eagle visits the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "visits" "dog" "+")
The dog is not kind.
Unknown
inv-random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "-")
The bear eats the dog.
Unknown
random
[@0: The bear eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "dog" "+")
The dog is not young.
Unknown
inv-random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle needs the bear.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear eats the bald eagle.[(triple4)] The bear is big.[(triple5)] The bear needs the bald eagle.[(triple6)] The bear visits the dog.[(triple7)] The dog does not need the bear.[(triple9)] The dog eats the bear.[(triple8)] The dog visits the bald eagle.[(triple10)] @1: The bald eagle is big.[(((triple10) -> rule4))] The bald eagle is cold.[(((triple10) -> rule3))] The dog eats the bald eagle.[(((triple8) -> rule1))] @2: The bald eagle eats the bear.[(((((triple10) -> rule3)) -> rule2))] @3: The bald eagle eats the bald eagle.[(((((((triple10) -> rule3)) -> rule2)) -> rule1))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
triple5
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple6
The bear visits the dog.
("bear" "visits" "dog" "+")
triple7
The dog does not need the bear.
("dog" "needs" "bear" "-")
triple9
The dog eats the bear.
("dog" "eats" "bear" "+")
triple8
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple10
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple10) -> (rule4 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple10) -> (rule3 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((triple8) -> (rule1 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((((((triple10) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3