The bald eagle likes the lion. The bear needs the cow. The bear needs the lion. The cow is red. The cow is round. The lion is not cold. The lion does not need the bear. If the bear does not like the cow then the cow is red. If the cow needs the lion then the cow is red. If someone sees the lion and the lion needs the bald eagle then they like the bear. If someone sees the cow then the cow is not kind. If the lion likes the bald eagle then the lion likes the bear. If someone needs the cow and they see the lion then the cow needs the bear. If the bald eagle does not like the bear and the bear does not like the lion then the bald eagle likes the cow. If someone likes the cow then they are kind.
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The lion is not cold.
("lion" "is" "cold" "-")
The lion does not need the bear.
("lion" "needs" "bear" "-")
If the bear does not like the cow then the cow is red.
((("bear" "likes" "cow" "~")) -> ("cow" "is" "red" "+"))
If the cow needs the lion then the cow is red.
((("cow" "needs" "lion" "+")) -> ("cow" "is" "red" "+"))
If someone sees the lion and the lion needs the bald eagle then they like the bear.
((("someone" "sees" "lion" "+") ("lion" "needs" "bald eagle" "+")) -> ("someone" "likes" "bear" "+"))
If someone sees the cow then the cow is not kind.
((("someone" "sees" "cow" "+")) -> ("cow" "is" "kind" "-"))
If the lion likes the bald eagle then the lion likes the bear.
((("lion" "likes" "bald eagle" "+")) -> ("lion" "likes" "bear" "+"))
If someone needs the cow and they see the lion then the cow needs the bear.
((("someone" "needs" "cow" "+") ("someone" "sees" "lion" "+")) -> ("cow" "needs" "bear" "+"))
If the bald eagle does not like the bear and the bear does not like the lion then the bald eagle likes the cow.
((("bald eagle" "likes" "bear" "~") ("bear" "likes" "lion" "~")) -> ("bald eagle" "likes" "cow" "+"))
If someone likes the cow then they are kind.
((("someone" "likes" "cow" "+")) -> ("someone" "is" "kind" "+"))
The lion is not cold.
True
1
proof
[(triple6)]
("lion" "is" "cold" "-")
triple6
The cow is not red.
False
1
inv-proof
[(triple4)]
("cow" "is" "red" "-")
triple4
The cow is not kind.
Unknown
inv-rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "is" "kind" "-")
The lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
@0: The bald eagle likes the lion.[(triple1)] The bear needs the cow.[(triple2)] The bear needs the lion.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5)] The lion does not need the bear.[(triple7)] The lion is not cold.[(triple6)]
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple1
The bear needs the cow.
("bear" "needs" "cow" "+")
triple2
The bear needs the lion.
("bear" "needs" "lion" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
The lion does not need the bear.
("lion" "needs" "bear" "-")
triple7
The lion is not cold.
("lion" "is" "cold" "-")
triple6