The bald eagle chases the bear. The bear chases the cat. The bear chases the dog. The bear is round. The bear needs the dog. The cat is not cold. The dog is nice. If something is round then it needs the dog. If something chases the bear then it is round.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The cat is not cold.
("cat" "is" "cold" "-")
The dog is nice.
("dog" "is" "nice" "+")
If something is round then it needs the dog.
((("something" "is" "round" "+")) -> ("something" "needs" "dog" "+"))
If something chases the bear then it is round.
((("something" "chases" "bear" "+")) -> ("something" "is" "round" "+"))
The cat is not cold.
True
1
proof
[(triple6)]
("cat" "is" "cold" "-")
triple6
The bald eagle does not chase the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "bear" "-")
triple1
The bald eagle is round.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "is" "round" "+")
((triple1) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is not round.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "is" "round" "-")
((triple1) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle needs the dog.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("bald eagle" "needs" "dog" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle does not need the dog.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("bald eagle" "needs" "dog" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The dog does not need the dog.
Unknown
inv-rconc
[@2: The dog needs the dog.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("dog" "needs" "dog" "-")
The cat is round.
Unknown
rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "round" "+")
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "round" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The bald eagle does not need the bear.
Unknown
inv-random
[@0: The bald eagle needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bear" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The bald eagle chases the bear.[(triple1)] The bear chases the cat.[(triple2)] The bear chases the dog.[(triple3)] The bear is round.[(triple4)] The bear needs the dog.[(triple5 OR ((triple4) -> rule1))] The cat is not cold.[(triple6)] The dog is nice.[(triple7)] @1: The bald eagle is round.[(((triple1) -> rule2))] @2: The bald eagle needs the dog.[(((((triple1) -> rule2)) -> rule1))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bear chases the cat.
("bear" "chases" "cat" "+")
triple2
The bear chases the dog.
("bear" "chases" "dog" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear needs the dog.
("bear" "needs" "dog" "+")
triple5
((triple4) -> (rule1 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The cat is not cold.
("cat" "is" "cold" "-")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple1) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2