The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle is rough. Cold things are rough. Cold, nice things are green. If something is rough and not cold then it is green.
The bald eagle likes the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3 OR ((triple2 triple4) -> rule2))] The bald eagle is nice.[(triple4)] The bald eagle is rough.[(triple5 OR ((triple2) -> rule1))]