The bald eagle is big. The bald eagle is blue. The bald eagle is cold. The bald eagle is rough. The bald eagle is round. All big, blue things are round.
The bald eagle is not big.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is round.[(triple5 OR ((triple1 triple2) -> rule1))]