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