The bald eagle is blue. The bald eagle is cold. The bald eagle is not green. The bald eagle is nice. The bald eagle is rough. If someone is green and not rough then they are nice. If the bald eagle is blue then the bald eagle is not green.
The bald eagle is not cold.
@0: The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is nice.[(triple4)] The bald eagle is not green.[(triple3 OR ((triple1) -> rule2))] The bald eagle is rough.[(triple5)]