The rabbit is big. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit is young. Round things are young.
The rabbit is nice.
@0: The rabbit is big.[(triple1)] The rabbit is nice.[(triple2)] The rabbit is red.[(triple3)] The rabbit is round.[(triple4)] The rabbit is young.[(triple5 OR ((triple4) -> rule1))]