The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. If something is nice then it is green.
The bald eagle is not blue.
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2 OR ((triple4) -> rule1))] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is rough.[(triple5)]