The bald eagle is blue. The bald eagle is cold. The bald eagle is nice. All blue things are cold. All cold things are nice.
The bald eagle is cold.
@0: The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple1) -> rule1))] The bald eagle is nice.[(triple3 OR ((triple2) -> rule2) OR ((((triple1) -> rule1)) -> rule2))]