The bald eagle is young. The dog likes the bald eagle. If the dog chases the bald eagle then the bald eagle chases the dog. If something is rough and it chases the dog then it chases the bald eagle. If something chases the dog and the dog likes the bald eagle then the dog chases the bald eagle. If the dog likes the bald eagle then the bald eagle likes the dog. If something likes the dog then it eats the bald eagle. If something is rough then it eats the bald eagle.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
If the dog chases the bald eagle then the bald eagle chases the dog.
((("dog" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "dog" "+"))
If something is rough and it chases the dog then it chases the bald eagle.
((("something" "is" "rough" "+") ("something" "chases" "dog" "+")) -> ("something" "chases" "bald eagle" "+"))
If something chases the dog and the dog likes the bald eagle then the dog chases the bald eagle.
((("something" "chases" "dog" "+") ("dog" "likes" "bald eagle" "+")) -> ("dog" "chases" "bald eagle" "+"))
If the dog likes the bald eagle then the bald eagle likes the dog.
((("dog" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "dog" "+"))
If something likes the dog then it eats the bald eagle.
((("something" "likes" "dog" "+")) -> ("something" "eats" "bald eagle" "+"))
If something is rough then it eats the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "eats" "bald eagle" "+"))
The bald eagle is young.
True
1
proof
[(triple1)]
("bald eagle" "is" "young" "+")
triple1
The bald eagle is not young.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "young" "-")
triple1
The bald eagle likes the dog.
True
2
proof
[(((triple2) -> rule4))]
("bald eagle" "likes" "dog" "+")
((triple2) -> (rule4 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle does not like the dog.
False
2
inv-proof
[(((triple2) -> rule4))]
("bald eagle" "likes" "dog" "-")
((triple2) -> (rule4 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle eats the bald eagle.
True
3
proof
[(((((triple2) -> rule4)) -> rule5))]
("bald eagle" "eats" "bald eagle" "+")
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The bald eagle does not eat the bald eagle.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule5))]
("bald eagle" "eats" "bald eagle" "-")
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The bald eagle does not chase the dog.
Unknown
inv-rconc
[@2: The bald eagle chases the dog.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("bald eagle" "chases" "dog" "-")
The dog chases the bald eagle.
Unknown
rconc
[@3: The dog chases the bald eagle.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule2 <- FAIL)]]
("dog" "chases" "bald eagle" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
The dog is not big.
Unknown
inv-random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle is young.[(triple1)] The dog likes the bald eagle.[(triple2)] @1: The bald eagle likes the dog.[(((triple2) -> rule4))] @2: The bald eagle eats the bald eagle.[(((((triple2) -> rule4)) -> rule5))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
((triple2) -> (rule4 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2