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