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 not nice.
@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))]