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