The bald eagle is nice. The bald eagle is red. The bald eagle is rough. The bald eagle is round. The bald eagle is young. Young things are rough. Nice things are rough.
The bald eagle does not see the bald eagle.
@0: The bald eagle is nice.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is rough.[(triple3 OR ((triple1) -> rule2) OR ((triple5) -> rule1))] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5)]