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