The tiger is big. The tiger is blue. The tiger is cold. The tiger is nice. The tiger is young. Nice people are young.
The tiger does not visit the tiger.
@0: The tiger is big.[(triple1)] The tiger is blue.[(triple2)] The tiger is cold.[(triple3)] The tiger is nice.[(triple4)] The tiger is young.[(triple5 OR ((triple4) -> rule1))]