The bald eagle is blue. The bald eagle is green. The bald eagle is nice. The bald eagle is rough. The bald eagle is round. If something is blue and rough then it is green.
The bald eagle does not see the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2 OR ((triple1 triple4) -> rule1))] The bald eagle is nice.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is round.[(triple5)]