The tiger is not big. The tiger is cold. The tiger is red. The tiger is rough. The tiger is young. Young, cold things are rough.
The tiger chases the tiger.
@0: The tiger is cold.[(triple2)] The tiger is not big.[(triple1)] The tiger is red.[(triple3)] The tiger is rough.[(triple4 OR ((triple5 triple2) -> rule1))] The tiger is young.[(triple5)]