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