The bald eagle is red. The dog needs the tiger. The tiger is big. All big things are rough.
The dog chases the dog.
@0: The bald eagle is red.[(triple1)] The dog needs the tiger.[(triple2)] The tiger is big.[(triple3)] @1: The tiger is rough.[(((triple3) -> rule1))]