The bald eagle needs the lion. The lion is round. If someone visits the bald eagle and they eat the bald eagle then they need the bald eagle. If someone eats the bald eagle then they need the bald eagle. If the lion needs the bald eagle then the bald eagle is blue. If the lion visits the bald eagle then the lion is not cold. If someone eats the bald eagle then they are blue. If someone needs the lion and they visit the lion then the lion eats the bald eagle.
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The lion is round.
("lion" "is" "round" "+")
If someone visits the bald eagle and they eat the bald eagle then they need the bald eagle.
((("someone" "visits" "bald eagle" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone eats the bald eagle then they need the bald eagle.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "needs" "bald eagle" "+"))
If the lion needs the bald eagle then the bald eagle is blue.
((("lion" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If the lion visits the bald eagle then the lion is not cold.
((("lion" "visits" "bald eagle" "+")) -> ("lion" "is" "cold" "-"))
If someone eats the bald eagle then they are blue.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "blue" "+"))
If someone needs the lion and they visit the lion then the lion eats the bald eagle.
((("someone" "needs" "lion" "+") ("someone" "visits" "lion" "+")) -> ("lion" "eats" "bald eagle" "+"))
The bald eagle needs the lion.
True
1
proof
[(triple1)]
("bald eagle" "needs" "lion" "+")
triple1
The bald eagle does not need the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "lion" "-")
triple1
The bald eagle is not blue.
Unknown
inv-rconc
[@3: The bald eagle is blue.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule6 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The bald eagle eats the lion.
Unknown
random
[@0: The bald eagle eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "lion" "+")
@0: The bald eagle needs the lion.[(triple1)] The lion is round.[(triple2)]
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple1
The lion is round.
("lion" "is" "round" "+")
triple2