The bald eagle chases the rabbit. The cow does not eat the bald eagle. The rabbit is green. If the bald eagle is kind then the bald eagle does not eat the rabbit. If something eats the bald eagle and the bald eagle is not green then the bald eagle chases the rabbit. If the cow chases the bald eagle and the cow likes the bald eagle then the cow eats the bald eagle. If the bald eagle chases the cow and the bald eagle is not green then the cow likes the rabbit. If something eats the rabbit then the rabbit chases the cow. If something is green and it does not eat the bald eagle then the bald eagle does not like the cow.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The cow does not eat the bald eagle.
("cow" "eats" "bald eagle" "-")
The rabbit is green.
("rabbit" "is" "green" "+")
If the bald eagle is kind then the bald eagle does not eat the rabbit.
((("bald eagle" "is" "kind" "+")) -> ("bald eagle" "eats" "rabbit" "-"))
If something eats the bald eagle and the bald eagle is not green then the bald eagle chases the rabbit.
((("something" "eats" "bald eagle" "+") ("bald eagle" "is" "green" "~")) -> ("bald eagle" "chases" "rabbit" "+"))
If the cow chases the bald eagle and the cow likes the bald eagle then the cow eats the bald eagle.
((("cow" "chases" "bald eagle" "+") ("cow" "likes" "bald eagle" "+")) -> ("cow" "eats" "bald eagle" "+"))
If the bald eagle chases the cow and the bald eagle is not green then the cow likes the rabbit.
((("bald eagle" "chases" "cow" "+") ("bald eagle" "is" "green" "~")) -> ("cow" "likes" "rabbit" "+"))
If something eats the rabbit then the rabbit chases the cow.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "chases" "cow" "+"))
If something is green and it does not eat the bald eagle then the bald eagle does not like the cow.
((("something" "is" "green" "+") ("something" "eats" "bald eagle" "~")) -> ("bald eagle" "likes" "cow" "-"))
The cow does not eat the bald eagle.
True
1
proof
[(triple2)]
("cow" "eats" "bald eagle" "-")
triple2
The cow eats the bald eagle.
False
1
inv-proof
[(triple2)]
("cow" "eats" "bald eagle" "+")
triple2
The cow does not like the rabbit.
Unknown
inv-rconc
[@1: The cow likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "likes" "rabbit" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The cow does not eat the bald eagle.[(triple2)] The rabbit is green.[(triple3)]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The cow does not eat the bald eagle.
("cow" "eats" "bald eagle" "-")
triple2
The rabbit is green.
("rabbit" "is" "green" "+")
triple3