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 chases the bald eagle.
@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))]