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