The bald eagle eats the lion. The cow does not chase the lion. The lion needs the bald eagle. The tiger eats the lion. If something chases the lion and it eats the bald eagle then it is young. If the cow chases the lion then the lion chases the tiger. If the lion is not red then the lion eats the cow.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The cow does not chase the lion.
("cow" "chases" "lion" "-")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
If something chases the lion and it eats the bald eagle then it is young.
((("something" "chases" "lion" "+") ("something" "eats" "bald eagle" "+")) -> ("something" "is" "young" "+"))
If the cow chases the lion then the lion chases the tiger.
((("cow" "chases" "lion" "+")) -> ("lion" "chases" "tiger" "+"))
If the lion is not red then the lion eats the cow.
((("lion" "is" "red" "~")) -> ("lion" "eats" "cow" "+"))
The tiger eats the lion.
True
1
proof
[(triple4)]
("tiger" "eats" "lion" "+")
triple4
The tiger does not eat the lion.
False
1
inv-proof
[(triple4)]
("tiger" "eats" "lion" "-")
triple4
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "young" "-")
The lion chases the bald eagle.
Unknown
random
[@0: The lion chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bald eagle" "+")
@0: The bald eagle eats the lion.[(triple1)] The cow does not chase the lion.[(triple2)] The lion needs the bald eagle.[(triple3)] The tiger eats the lion.[(triple4)]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The cow does not chase the lion.
("cow" "chases" "lion" "-")
triple2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple3
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple4