The bald eagle likes the lion. The lion is big. The lion needs the bald eagle. If someone likes the bald eagle then they like the lion. If someone is big and they do not need the bald eagle then the bald eagle is big.
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
If someone likes the bald eagle then they like the lion.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "likes" "lion" "+"))
If someone is big and they do not need the bald eagle then the bald eagle is big.
((("someone" "is" "big" "+") ("someone" "needs" "bald eagle" "~")) -> ("bald eagle" "is" "big" "+"))
The lion needs the bald eagle.
True
1
proof
[(triple3)]
("lion" "needs" "bald eagle" "+")
triple3
The lion does not need the bald eagle.
False
1
inv-proof
[(triple3)]
("lion" "needs" "bald eagle" "-")
triple3
The lion does not like the lion.
Unknown
inv-rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "lion" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The bald eagle likes the lion.[(triple1)] The lion is big.[(triple2)] The lion needs the bald eagle.[(triple3)]
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple1
The lion is big.
("lion" "is" "big" "+")
triple2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple3