The bald eagle is cold. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle is rough. All rough, cold things are red.
The bald eagle does not need the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4 OR ((triple5 triple1) -> rule1))] The bald eagle is rough.[(triple5)]