The bald eagle is big. The bald eagle is cold. The bald eagle is nice. The bald eagle is rough. The bald eagle is round. If the bald eagle is cold then the bald eagle is rough.
The bald eagle is cold.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is rough.[(triple4 OR ((triple2) -> rule1))] The bald eagle is round.[(triple5)]