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