The bald eagle is blue. All red, blue things are not green. All rough things are not blue.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
All red, blue things are not green.
((("something" "is" "red" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "-"))
All rough things are not blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "-"))
The bald eagle is blue.
True
1
proof
[(triple1)]
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is not blue.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "blue" "-")
triple1
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle is blue.[(triple1)]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1