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