The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle is nice. The bald eagle is red. All nice things are red.
The bald eagle is blue.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is red.[(triple5 OR ((triple4) -> rule1))]