The bald eagle eats the cow. The cow eats the bald eagle. If someone needs the bald eagle then they eat the bald eagle. If the bald eagle needs the cow and the bald eagle is young then the cow eats the bald eagle. If someone needs the bald eagle then they are young.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
If someone needs the bald eagle then they eat the bald eagle.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "eats" "bald eagle" "+"))
If the bald eagle needs the cow and the bald eagle is young then the cow eats the bald eagle.
((("bald eagle" "needs" "cow" "+") ("bald eagle" "is" "young" "+")) -> ("cow" "eats" "bald eagle" "+"))
If someone needs the bald eagle then they are young.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "is" "young" "+"))
The bald eagle eats the cow.
True
1
proof
[(triple1)]
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle does not eat the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "cow" "-")
triple1
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "young" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The bald eagle eats the cow.[(triple1)] The cow eats the bald eagle.[(triple2)]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple2