The bald eagle needs the dog. The dog likes the lion. The lion eats the dog. If someone eats the dog then the dog does not eat the bald eagle. If the dog needs the bald eagle and the bald eagle likes the dog then the bald eagle needs the dog. If someone likes the dog and they need the lion then the dog likes the bald eagle.
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
If someone eats the dog then the dog does not eat the bald eagle.
((("someone" "eats" "dog" "+")) -> ("dog" "eats" "bald eagle" "-"))
If the dog needs the bald eagle and the bald eagle likes the dog then the bald eagle needs the dog.
((("dog" "needs" "bald eagle" "+") ("bald eagle" "likes" "dog" "+")) -> ("bald eagle" "needs" "dog" "+"))
If someone likes the dog and they need the lion then the dog likes the bald eagle.
((("someone" "likes" "dog" "+") ("someone" "needs" "lion" "+")) -> ("dog" "likes" "bald eagle" "+"))
The bald eagle needs the dog.
True
1
proof
[(triple1)]
("bald eagle" "needs" "dog" "+")
triple1
The dog does not like the lion.
False
1
inv-proof
[(triple2)]
("dog" "likes" "lion" "-")
triple2
The dog does not eat the bald eagle.
True
2
proof
[(((triple3) -> rule1))]
("dog" "eats" "bald eagle" "-")
((triple3) -> (rule1 % int1))
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
int1
The dog eats the bald eagle.
False
2
inv-proof
[(((triple3) -> rule1))]
("dog" "eats" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
int1
The dog does not like the bald eagle.
Unknown
inv-rconc
[@1: The dog likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "likes" "bald eagle" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The bald eagle needs the dog.[(triple1)] The dog likes the lion.[(triple2)] The lion eats the dog.[(triple3)] @1: The dog does not eat the bald eagle.[(((triple3) -> rule1))]
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple1
The dog likes the lion.
("dog" "likes" "lion" "+")
triple2
The lion eats the dog.
("lion" "eats" "dog" "+")
triple3
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
((triple3) -> (rule1 % int1))
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
int1